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