Markus Michelbrink

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

3 EE 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 EE Markus Michelbrink, Anton Setzer: State Dependent IO-Monads in Type Theory. Electr. Notes Theor. Comput. Sci. 122: 127-146 (2005)

2004

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

2006
3	EE	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	EE	Markus Michelbrink, Anton Setzer: State Dependent IO-Monads in Type Theory. Electr. Notes Theor. Comput. Sci. 122: 127-146 (2005)
2004
1	EE	Markus Michelbrink: Interfaces as Games, Programs as Strategies. TYPES 2004: 215-231

Coauthor Index

1 Anton Setzer [2]