Universes for Generic Programs and Proofs in Dependent Type Theory

Marcin Benke, Peter Dybjer, Patrik Jansson. Universes for Generic Programs and Proofs in Dependent Type Theory. Nord. J. Comput., 10(4):265-289, 2003.

Possibly Related Publications

The following publications are possibly variants of this publication: