Geometry of Interaction V: Logic in the hyperfinite factor
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. (C) 2010 Elsevier B.V. All rights reserved.
operator algebras proof-theory linear logic complexity theory light logics