Geometry of Interaction I: interpretation of Systef F (1988)

by Jean-Yves Girard
Venue:In Proceedings of Logic Colloquium '88