| |
Electronic Notes in Theoretical Computer Science, Vol. 218 (22 October 2008), pp. 193-208.
|
| |
|
| |
|
| |
Archiv der Mathematik, Vol. 21, No. 1. (1 December 1970), pp. 1-10.
|
| |
Applied Categorical Structures, Vol. 14, No. 3. (1 June 2006), pp. 191-214.
|
| |
Theory Appl. Categ, Vol. 10 (2002), pp. 369-391.
|
| |
Topol. Géom. Différ. Catég, Vol. 44 (2001), pp. 281-316.
|
| |
|
| |
J. ACM, Vol. 42, No. 1. (January 1995), pp. 232-268.
|
| |
In Proc. 16th LICS (2001), pp. 93-104.
|
| |
Mathematical. Structures in Comp. Sci., Vol. 18, No. 1. (2008), pp. 29-55.
|
| |
Theoretical Computer Science, Vol. 354, No. 3. (04 April 2006), pp. 421-440.
|
| |
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 40, No. 4. (1999), pp. 284-296.
|
| |
Journal of pure and applied algebra, Vol. 89, No. 1. (1993), pp. 163-179.
|
| |
In Proceedings of the Fourth Annual Symposium on Logic in computer science (1989), pp. 14-23.
|
| |
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 19, No. 2. (1978), pp. 115-129.
|
| |
J Logic Computation (12 February 2009), exn090.
|
| |
|
| |
In LICS (2007), pp. 303-312.
|
| |
In FoSSaCS, Vol. 3921 (2006)
|
| |
In FoSSaCS, Vol. 3921 (2006), pp. 172-186.
|
| |
Archivum Mathematicum (1981)
|
| |
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.
|
| |
Lecture Notes in Mathematics, Vol. 281 (1972), pp. 196-213.
|
| |
Lecture Notes in Mathematics, Vol. 281 (1972), pp. 106-147.
|
| |
Lecture Notes in Mathematics, Vol. 281 (1972), pp. 66-105.
|
| |
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.
|
| |
|
| |
Central European Functional Programming School (2006), pp. 135-167.
|
| |
|
| |
In Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006 (2006), pp. 173-188.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
In Proc. of 2nd Wksh. on Mathematically Structured Functional Programming, MSFP 2008 (2008)
|
| |
|
| |
Programming Languages and Systems (2007), pp. 379-394.
|
| |
Inf. Comput., Vol. 204, No. 4. (April 2006), pp. 561-587.
|
| |
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.
|
| |
Seminar on Triples and Categorical Homology Theory (1969), pp. 119-140.
|
| |
Mathematische Zeitschrift, Vol. 142, No. 1. (1 February 1975), pp. 1-14.
|
| |
General topology and its relations to modern analysis and algebra IV Part B: Contributed Papers Proceedings of the fourth Prague topological symposium, 1976 (1976)
|
| |
Mathematical Foundations of Programming Semantics (1994), pp. 304-319.
|
| |
Automata, Languages and Programming (2008), pp. 298-310.
|
| |
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 218 (2008), pp. 131-152.
|
| |
|
CiteULike
christiankissig's CiteULike
Search
