Connectez-vous pour ajouter ce livre à votre bibliothèque.
Gérard Huet
A Mechanization of type theory
LABORIA (Rocquencourt) · 1973