Towards a geometry of interaction. Number 92 (1989)

by Gir89 Jean-Yves Girard
Venue:in Contemporary Mathematics