Nax Paul Mendler Vis

List of publications from the DBLP Bibliography Server - FAQ

* 1991

2 Nax Paul Mendler: Predicative Type Universes and Primitive Recursion LICS 1991: 173-184

1989

1 Peter Aczel, Nax Paul Mendler: A Final Coalgebra Theorem. Category Theory and Computer Science 1989: 357-365

*	1991
2		Nax Paul Mendler: Predicative Type Universes and Primitive Recursion LICS 1991: 173-184
	1989
1		Peter Aczel, Nax Paul Mendler: A Final Coalgebra Theorem. Category Theory and Computer Science 1989: 357-365

Coauthor Index