Markus Michelbrink

According to our database¹, Markus Michelbrink authored at least 4 papers between 2004 and 2006.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

Interfaces as functors, programs as coalgebras - A final coalgebra theorem in intensional type theory.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

A Buchholz derivation system for the ordinal analysis of KP+Π<sub>3</sub>-reflection.

[BibT_eX]

[DOI]

J. Symb. Log., 2006

2004

State Dependent IO-Monads in Type Theory.

[BibT_eX]

[DOI]

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

Interfaces as Games, Programs as Strategies.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Workshop, 2004