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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.