Un calcul de substitutions pour la representation de preuves partielles en theorie de types (1997)

by C Munoz