Lesezeichen (verstecken)3
Publikationen (verstecken)114
- Category Theory, Volume 1488 von Lecture Notes in Mathematics, Springer Berlin Heidelberg, (1991)
- (1998)cite http://arxiv.org/abs/math/9811037arxiv:math/9811037Comment: revisions for publication, to appear in AMS Trans.
- Theoretical Computer Science, (2004)
- (2014)cite arxiv:1406.6579.
- (2011)cite http://arxiv.org/abs/1110.1066arxiv:1110.1066Comment: 15 pages; final version to appear in Math. Z.
- (2006)cite http://arxiv.org/abs/math/0610009arxiv:math/0610009Comment: Ams-latex, 158 pages. Corrections to Thm. 6.4.1 and Def. 7.2.5.
- (2014)
- Advances in Mathematics, 88 (1): 55 - 112 (1991)
- algebra universalis, 41 (3): 213-227 (1999)
- Electronic Notes in Theoretical Computer Science, 298 (0): 197 - 214 (2013)Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, \MFPS\ \XXIX\.
- Information and Computation, 145 (2): 107 - 152 (1998)
- Logical Frameworks, Seite 280--306. Cambridge University Press, (1991)
- J. ACM, 24 (1): 68--95 (Januar 1977)
- Algebra and Coalgebra in Computer Science, Volume 6859 von Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2011)
- (2014)cite http://arxiv.org/abs/1407.7274arxiv:1407.7274.
- (2014)cite http://arxiv.org/abs/1412.0212arxiv:1412.0212Comment: 48 pages.
- (2014)cite http://arxiv.org/abs/1412.0144arxiv:1412.0144Comment: 40 pages.
- (2011)cite http://arxiv.org/abs/1112.0040arxiv:1112.0040Comment: 46 pages, 2 figures. Corrections of a formatting error and addition of clearer acknowledgements.
- Theoretical Computer Science, 249 (1): 3 - 80 (2000)Modern Algebra.
- (2013)
