Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10334086 | Theoretical Computer Science | 2011 | 24 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Jean-Yves Girard,