## Explicit Universes for the Calculus of Constructions (2002)

by
Judicaël Courant

Venue: | Theorem Proving in Higher Order Logics 2002, Springer LNCS 2410 |

Citations: | 8 - 0 self |