Concepts Mathématiques et Informatiques Formalisés dans le Calcul des Constructions.” Presented at the Colloque de Logique d’Orsay (1985)

by Th Coquand, G Huet