| |
コンピュータソフトウェア, Vol. 22, No. 3. (2005), pp. 201-207.
|
| |
Category Theory and Computer Science (1991), pp. 197-218.
|
| |
Information Processing Letters, Vol. 80, No. 5. (15 December 2001), pp. 233-238.
|
| |
|
| |
In Octoberfest Category theory meeting (2006) (2006)
|
| |
|
| |
|
| |
Journal of Pure and Applied Algebra, Vol. 19 (December 1980), pp. 193-213.
|
| |
In Proceedings of Structures and Deduction '05 (March 2005)
|
| |
|
| |
|
| |
In Applications of categories in computer science : proceedings of the LMS Symposium, Durham 1991 (1991), pp. 95-106.
|
| |
Algebraic Methodology and Software Technology (2000), pp. 135-149.
|
| |
|
| |
Philosophia Mathematica, Vol. 2, No. 1. (1 January 1994), pp. 5-15.
|
| |
In Mathematics of Quantum Computing and Technology
|
| |
|
| |
Mathematical Structures in Computer Science, Vol. 11, No. 02. (2001), pp. 207-260.
|
| |
Electronic Notes in Theoretical Computer Science (January 2004), pp. 1-18.
|
| |
Theoretical Computer Science, Vol. 73, No. 1. (8 June 1990), pp. 101-112.
|
| |
|
| |
|
| |
|
| |
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 346-354.
|
| |
Journal of Pure and Applied Algebra, Vol. 82 (1992), pp. 211-231.
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings Int.\ Summer Category Theory Meeting, Montr\'eal, Qu{\'e}bec, 23--30 June 1991, Vol. 13 (1992), pp. 141-169.
|
| |
|
| |
Automata, Languages and Programming (1999), pp. 709-710.
|
| |
In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 280-288.
|
| |
Bulletin of the American Mathematical Society, Vol. 80, No. 3. (1974), pp. 556-561.
|
| |
Typed Lambda Calculi and Applications (2007), pp. 207-222.
|
| |
Acta Applicandae Mathematicae: An International Survey Journal on Applying Mathematics and Mathematical Applications, Vol. 2, No. 1. (1 March 1984), pp. 1-19.
|
| |
In CSL (1994), pp. 427-441.
|
| |
|
| |
Logical Aspects of Computational Linguistics (2005), pp. 238-254.
|
| |
In 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008) (March 2008)
|
| |
|
| |
Theor. Comput. Sci., Vol. 290, No. 1. (January 2003), pp. 189-219.
|
| |
SIAM Journal on Computing, Vol. 11, No. 4. (1982), pp. 761-783.
|
| |
Category Theory (1991), pp. 95-104.
|
| |
SIGPLAN Not., Vol. 43, No. 1. (January 2008), pp. 297-308.
|
| |
Mathematical Foundations of Programming Language Semantics (1988), pp. 490-527.
|
| |
Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on In Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on (2000), pp. 30-41.
|
| |
|
| |
|
| |
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e In Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e (1990), pp. 489-497.
|
