Towards a geometry of interaction, (1989)

by J-Y Girard
Venue:in ‘Proceedings of the AMS Conference on Categories, Logic and Computer Science’.