Introduction au -calcul typ'e (1991)

by G Huet
Venue:Logique et informatique : une introduction