Laboratoire de Recherche en Informatiquebibli/Rapports-internes/2003/RR1380.pdf · The Calculus of...
22
Laboratoire de Recherche en Informatiquebibli/Rapports-internes/2003/RR1380.pdf · The Calculus of Inductive Constructions follows this principle : we keep the —Y (and V) prim-