Explicit Universes for the Calculus of Constructions (2002)

Cached

Download Links

by Judicaël Courant
Venue:Theorem Proving in Higher Order Logics 2002, Springer LNCS 2410
Citations:8 - 0 self