Geometry of Interaction V (2011)

by J-Y Girard
Venue:Logic in the Hyperfinite Factor.’, Theoretical Computer Science