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

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page