Markus Michelbrink

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

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

2005

2 Markus Michelbrink, Anton Setzer: State Dependent IO-Monads in Type Theory. Electr. Notes Theor. Comput. Sci. 122: 127-146 (2005)

2004

1 Markus Michelbrink: Interfaces as Games, Programs as Strategies. TYPES 2004: 215-231

	2006
3		Markus Michelbrink: Interfaces as functors, programs as coalgebras - A final coalgebra theorem in intensional type theory. Theor. Comput. Sci. 360(1-3): 415-439 (2006)
	2005
2		Markus Michelbrink, Anton Setzer: State Dependent IO-Monads in Type Theory. Electr. Notes Theor. Comput. Sci. 122: 127-146 (2005)
	2004
1		Markus Michelbrink: Interfaces as Games, Programs as Strategies. TYPES 2004: 215-231

Coauthor Index

1 Anton Setzer [2]