| |
Archiv der Mathematik, Vol. 21, No. 1. (1 December 1970), pp. 1-10.
|
| |
In Proceedings of the Fourth Annual Symposium on Logic in computer science (1989), pp. 14-23.
|
| |
Journal of Pure and Applied Algebra, Vol. 168 (0), pp. 209-226.
|
| |
Electronic Notes in Theoretical Computer Science In CTCS'02, Category Theory and Computer Science, Vol. 69 (February 2003), pp. 183-208.
|
| |
|
| |
In Proceedings of the 1992 Glasgow Workshop on Functional Programming (1993), pp. 134-143.
|
| |
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.
|
| |
Theory and Applications of Categories, Vol. 18, No. 7. (2007), pp. 172-208.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 18, No. 3. (2008), pp. 613-643.
|
| |
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.
|
| |
J. Pure Appl. Algebra, Vol. 168 (2002), pp. 189-208.
|
| |
Journal of Pure and Applied Algebra, Vol. 175 (2002), pp. 243-265.
|
| |
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 34, No. 3. (1993)
|
| |
In TCS '02: Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (2002), pp. 474-484.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop on Domains VI, Vol. 73 (25 October 2004), pp. 149-163.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 161 (31 August 2006), pp. 59-71.
|
| |
Theor. Comput. Sci., Vol. 366, No. 1. (2006), pp. 144-162.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 172 (2007), pp. 437-458.
|
