| |
Computer Science Logic In Computer Science Logic, Vol. 832 (1994), pp. 66-77.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 15, No. 4. (2005), pp. 615-646.
|
| |
In OOPSLA '91: Conference proceedings on Object-oriented programming systems, languages, and applications (1991), pp. 212-229.
|
| |
Theor. Comput. Sci., Vol. 227, No. 1-2. (1999), pp. 249-273.
|
| |
In Proceedings of the workshop on Advances in linear logic (1995), pp. 1-42.
|
| |
The Bulletin of Symbolic Logic, Vol. 9, No. 2. (2003), pp. 131-168.
|
| |
In Proceedings of the workshop on Advances in linear logic (1995), pp. 225-247.
|
| |
Theor. Comput. Sci., Vol. 111, No. 1-2. (1993), pp. 3-57.
|
| |
Theor. Comput. Sci., Vol. 50, No. 1. (January 1987), pp. 1-102.
|
| |
|
| |
In CAAP '96: Proceedings of the 21st International Colloquium on Trees in Algebra and Programming (1996), 1.
|
| |
In Proceedings of the workshop on Advances in linear logic (1995), pp. 307-328.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 5. (September 1999), pp. 914-947.
|
| |
Applied Categorical Structures, Vol. 13, No. 1. (January 2005), pp. 1-36.
|
| |
In Computational logic (Marktoberdorf, 1997), Vol. 165 (1999), pp. 215-272.
|
| |
In Linear logic in computer science, Vol. 316 (2004), pp. 3-64.
|
| |
In School on Category Theory and Applications (Coimbra, 1999), Vol. 21 (1999), pp. 39-100.
|
| |
In IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel (1990), pp. 347-359.
|
| |
Theor. Comput. Sci., Vol. 113, No. 2. (June 1993), pp. 349-370.
|
| |
Bulletin of the IGPL, Vol. 2, No. 1. (1994), pp. 77-107.
|
Search
