Towards a geometry of interaction (1989)

by J-Y Girard
Venue:In: Contemporary Math. 92, Amer. Math. Soc