Universes for Generic Programs and Proofs in Dependent Type Theory (2003)

Cached

Download Links

by Marcin Benke , Peter Dybjer , Patrik Jansson
Venue:Nordic Journal of Computing
Citations:42 - 2 self

Document Versions

Universes for Generic Programs and Proofs in Dependent Type Theory –Marcin Benke, Peter Dybjer, Patrik Jansson — 2003 — Nordic Journal of Computing
Universes for Generic Programs and Proofs in Dependent Type Theory –Marcin Benke, Peter Dybjer, Patrik Jansson — 2003 — Nordic Journal of Computing