Une Extension de la Théorie des Types en λ-calcul (1978)

by P Sall‘’e
Venue:Lecture Notes in Computer Science