Une extension de la theorie des types en -calcul (1982)

by P Sallé
Venue:Lecture Notes in Computer Science