Geometry of interaction III: accommodating the additives
Proceedings of the workshop on Advances in linear logic
Geometry of interaction 2: deadlock-free algorithms
COLOG '88 Proceedings of the International Conference on Computer Logic
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
| Hi-index | 5.23 |
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.