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