| |
In Current research in operational quantum logic, Vol. 111 (2000), pp. 167-194.
|
| |
Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 61-77.
|
| |
Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 44-60.
|
| |
Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 1-43.
|
| |
Philos. Math. (3), Vol. 2, No. 1. (1994), pp. 45-68.
|
| |
Math. Structures Comput. Sci., Vol. 1, No. 1. (1991), pp. 49-67.
|
| |
In Logic Colloquium '73 (Bristol, 1973) (1975), pp. 119-134. Studies in Logic and the Foundations of Mathematics, Vol. 80.
|
| |
In Linear logic in computer science, Vol. 316 (2004), pp. 3-64.
|
| |
In Categorical perspectives (Kent, OH, 1998) (2001), pp. 1-27.
|
| |
Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
|
| |
Appl. Categ. Structures, Vol. 10, No. 5. (2002), pp. 505-520.
|
| |
Canad. Math. Bull., Vol. 19, No. 4. (1976), pp. 385-402.
|
| |
In Category theory at work (Bremen, 1990), Vol. 18 (1991), pp. 57-83.
|
| |
Acta Applicandae Mathematicae: An International Survey Journal on Applying Mathematics and Mathematical Applications, Vol. 2, No. 1. (1 March 1984), pp. 1-19.
|
| |
Bull. Symbolic Logic, Vol. 9, No. 2. (2003), pp. 213-224.
|
| |
Repr. Theory Appl. Categ., No. 10. (2005)
|
| |
In Logic Colloquium '73 (Bristol, 1973) (1975), pp. 135-156. Studies in Logic and the Foundations of Math., Vol. 80.
|
| |
In Proc. Conf. Categorical Algebra (La Jolla, Calif., 1965) (1966), pp. 1-20.
|
| |
Repr. Theory Appl. Categ., No. 15. (2006), pp. 1-13 (electronic).
|
| |
Repr. Theory Appl. Categ., No. 16. (2006), pp. 1-16 (electronic).
|
| |
Repr. Theory Appl. Categ., No. 8. (2005), pp. 1-24 (electronic).
|
| |
Repr. Theory Appl. Categ., No. 1. (2002), pp. 1-37 (electronic).
|
| |
In Proceedings of the International Symposium on the Semigroup Theory and its Related Fields (Kyoto, 1990) (1990), pp. 63-83.
|
| |
Topology and its Applications In Topology and its Applications, Vol. 137, No. 1-3. (28 February 2004), pp. 125-158.
|
| |
Order, Vol. 8, No. 2. (1991), pp. 159-173.
|
| |
In Categorical topology (Toledo, Ohio, 1983), Vol. 5 (1984), pp. 197-222.
|
| |
J. Pure Appl. Algebra, Vol. 49, No. 1-2. (1987), pp. 11-32.
|
| |
In School on Category Theory and Applications (Coimbra, 1999), Vol. 21 (1999), pp. 39-100.
|
| |
J. ACM, Vol. 39, No. 1. (January 1992), pp. 95-146.
|
| |
Formal Aspects of Computing, Vol. 13, No. 3. (5 July 2002), pp. 274-307.
|
