Geometry of Interaction III: Accommodating the Additives (1995)

by Jean-yves Girard
Venue:In: Advances in Linear Logic, LNS 222,CUP, 329–389
Citations:29 - 5 self