Nax Paul Mendler

Publication Activity (10 Years)

Years Active: 1989-1991
Publications (10 Years): 0

Publications

Nax Paul Mendler
Predicative Type Universes and Primitive Recursion LICS (1991)
Peter Aczel, Nax Paul Mendler
A Final Coalgebra Theorem. Category Theory and Computer Science (1989)