Interfaces as Games, Programs as Strategies. - Markus Michelbrink (TYPES, 2004)

State Dependent IO-Monads in Type Theory. - Markus Michelbrink; Anton Setzer (CTCS, 2004)

A Buchholz derivation system for the ordinal analysis of KP+Π3-reflection. - Markus Michelbrink (J. Symb. Log., 2006)

Interfaces as functors, programs as coalgebras - A final coalgebra theorem in intensional type theory. - Markus Michelbrink (Theor. Comput. Sci., 2006)