Markus Michelbrink

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Markus Michelbrink
-reflection. J. Symb. Log. 71 (4) (2006)
Markus Michelbrink
Interfaces as functors, programs as coalgebras - A final coalgebra theorem in intensional type theory. Theor. Comput. Sci. 360 (1-3) (2006)
Markus Michelbrink
Interfaces as Games, Programs as Strategies. TYPES (2004)
Markus Michelbrink, Anton Setzer
State Dependent IO-Monads in Type Theory. CTCS (2004)