Résultats de la recherche "J. y. Girard"

Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999 : Proceedings

Typed Lambda Calculi and Applications: 4th International Con…

de J. y. Girard · traduction J. y. Girard

8 points

J'aiJe veux