| |
Mathematical. Structures in Comp. Sci., Vol. 14, No. 5. (2004), pp. 613-649.
|
| |
Logic in Computer Science, Symposium on In LICS '06: Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science, Vol. 0 (2006), pp. 359-366.
|
| |
Proceedings of Workshop on Mathematically Structured Functional Programming In MSFP 2006 (July 2006)
|
| |
Relations and Kleene Algebra in Computer Science (2006), pp. 235-250.
|
| |
|
| |
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 37-47.
|
| |
Mathematical Structures in Computer Science, Vol. 7 (1997), pp. 453-468.
|
| |
Electronic Notes in Theoretical Computer Science In CMCS 2001, Coalgebraic Methods in Computer Science (a Satellite Event of ETAPS 2001), Vol. 44, No. 1. (May 2001), pp. 1-18.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236.
|
| |
|
| |
|
| |
Contemporary Mathematics In Categories in Computer Science and Logic, Vol. 92 (1989), pp. 137-199.
|
| |
|
| |
|
| |
Reprints in Theory and Applications of Categories, Vol. 4 (2004), pp. 1-121.
|
| |
Reprints in Theory and Applications of Categories, Vol. 9 (2005), pp. 1-24.
|
| |
In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 37, No. 1. (January 2002), pp. 154-165.
|
| |
Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202.
|
| |
|
| |
|
| |
|
| |
|
| |
In Proceedings of the 1990 ACM Conference on LISP and Functional Programming, Nice (1990), pp. 61-78.
|
| |
|
| |
Applied Categorical Structures, Vol. 3 (1995), pp. 29-77.
|
| |
Journal of Pure and Applied Algebra, Vol. 19 (December 1980), pp. 193-213.
|
| |
|
| |
|
| |
SIGPLAN Not. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, Vol. 37, No. 9. (September 2002), pp. 133-144.
|
| |
The American Mathematical Monthly, Vol. 85, No. 4. (1978), pp. 260-262.
|
| |
The American Mathematical Monthly, Vol. 85, No. 1. (1978), pp. 41-43.
|
| |
Lecture Notes in Logic In Logic Colloquium '95, Vol. 11 (1998), pp. 153-190.
|
| |
Transactions of the American Mathematical Society, Vol. 87, No. 2. (1958), pp. 294-329.
|
| |
|
| |
In FOIS '01: Proceedings of the international conference on Formal Ontology in Information Systems (2001), pp. 59-69.
|
| |
In Proceedings of the Fourth Annual Symposium on Logic in computer science (1989), pp. 14-23.
|
| |
|
| |
Bulletin of Mathematical Biophysics, Vol. 20 (1958), pp. 245-260.
|
| |
Bulletin of Mathematical Biophysics, Vol. 20 (1958), pp. 317-341.
|
| |
|
| |
In AMAST '93: Proceedings of the Third International Conference on Methodology and Software Technology (1994), pp. 45-58.
|
| |
|
| |
In Computation in Cells and Tissues: Perspectives and Tools of Thought (2004)
|
| |
In Handbook of Algebra, Vol. 1 (1996), pp. 528-576.
|
| |
Advances in Mathematics, Vol. 88 (1991), pp. 55-112.
|
| |
|
| |
Axiomathes, Vol. 16 (2006), pp. 65-122.
|
CiteULike
mstone's CiteULike
Search
Export
