Geometry of Interaction V: Logic in the hyperfinite factor

Jean-Yves Girard. Geometry of Interaction V: Logic in the hyperfinite factor. Theoretical Computer Science, 412(20):1860-1883, 2011. [doi]

Abstract

Abstract is missing.