| |
Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
|
| |
In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144.
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
|
| |
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
ArXiv e-prints (6 March 2009)
|
| |
|
| |
J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
|
| |
|
| |
ArXiv Mathematics e-prints (31 Jul 2008)
|
| |
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 1-43.
|
| |
|
| |
|
| |
|
| |
Royal Society of London Philosophical Transactions Series A, Vol. 312 (October 1984), pp. 501-518.
|
| |
|
| |
|
| |
In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 32nd ACM Symposium on Theory of Computing (# 2000)
|
| |
Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202.
|
| |
J. High Energy Phys., Vol. 2007, No. 09. (September 2007), 008.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings 6th Int.\ Conf.\ on Category Theory in Computer Science, CTCS'95, Cambridge, {UK}, 7-11 Aug 1995, Vol. 953 (1995), pp. 159-179.
|
| |
In Category Theory and Computer Science (1995), pp. 3-23.
|
| |
: Algebra and Coalgebra in Computer Science (2005), pp. 313-330.
|
| |
|
| |
|
| |
|
| |
|
| |
In LICS '05: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (2005), pp. 427-436.
|
| |
|
| |
|
| |
Physical Review E, Vol. 64, No. 1. (28 Jun 2001), 016132.
|
| |
Fundamenta Informaticae, Vol. 41, No. 3. (2000), pp. 259-294.
|
| |
|
| |
Science of Computer Programming, Vol. 28, No. 2-3. (1997), pp. 111-138.
|
| |
ArXiv Mathematics e-prints (June 2003)
|
| |
|
| |
|
| |
|
| |
|
| |
Mathematical Structures in Computer Science, Vol. 10, No. 4. (2000), pp. 525-548.
|
| |
|
| |
|
| |
|
| |
|
| |
In CSL (1996), pp. 58-75.
|
| |
ArXiv Computer Science e-prints (July 2002)
|
| |
ArXiv Quantum Physics e-prints (15 Dec 2005)
|
| |
Computer, Vol. 34, No. 3. (2001), pp. 65-71.
|
| |
|
| |
Oikos, Vol. 116, No. 5. (May 2007), pp. 723-727.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
Search
