Login / Signup

Une Généralisation de la Théorie des Types en lambda-Calcul (II).

Patrick Sallé
Published in: RAIRO Theor. Informatics Appl. (1980)
Keyphrases