Geometry of interaction III: the general case (1993)

by J Y Girard