Explicit universes for the calculus of constructions (0)

by J Courant
Venue:Theorem Proving in Higher Order Logics 2002, Springer LNCS 2410