| |
|
| |
|
| |
|
| |
Theor. Comput. Sci., Vol. 350, No. 2. (February 2006), pp. 252-274.
|
| |
|
| |
|
| |
In CAAP '96: Proceedings of the 21st International Colloquium on Trees in Algebra and Programming (1996), 1.
|
| |
In CONCUR '96: Proceedings of the 7th International Conference on Concurrency Theory (1996), pp. 1-17.
|
| |
Inf. Comput., Vol. 93, No. 1. (July 1991), pp. 55-92.
|
| |
Reprints in Theory and Applications of Categories, No. 12. (2005), pp. 1-287.
|
| |
In Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques, Vol. 1 (1989), pp. 217-261.
|
| |
|
| |
|
| |
|
| |
A Decade of Concurrency Reflections and Perspectives (1994), pp. 530-582.
|
| |
Theoretical Computer Science, Vol. 249, No. 1. (17 October 2000), pp. 3-80.
|
| |
|
| |
Mathematical Structures in Computer Science, Vol. 1, No. 1. (1991), pp. 49-67.
|
| |
In What is Category Theory? (2006), pp. 257-274.
|
| |
|
| |
|
| |
|
Search
Export
