Nax Paul Mendler

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