Geometry of Interaction is a transcendental syntax developed in the framework of operator algebras. This fifth installment of the program takes place inside a von Neumann algebra, the hyperfinite factor. It provides a built-in interpretation of cut-elimination as well as an explanation for light, i.e., complexity sensitive, logics. © 2010 Elsevier B.V. All rights reserved.
Girard, J. Y. (2011). Geometry of Interaction V: Logic in the hyperfinite factor. Theoretical Computer Science, 412(20), 1860–1883. https://doi.org/10.1016/j.tcs.2010.12.016