Geometry of interaction III: The general case (1995)

by J-Y Girard
Venue:In Advances in Linear Logic