Nax Paul Mendler

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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