%0 Journal Article
%T Geometry of Interaction V: Logic in the hyperfinite factor
%+ Institut de mathématiques de Luminy (IML)
%A Girard, Jean-Yves
%Z À Claire Delaleu (1991–2009).
%< avec comité de lecture
%@ 1879-2294
%J Theoretical Computer Science
%I Elsevier
%S Girard’s Festschrift
%V 412
%N 20
%P 1860-1883
%8 2011-04
%D 2011
%R 10.1016/j.tcs.2010.12.016
%K proof-theory
%K linear logic
%K complexity theory
%K light logics
%K operator algebras
%Z 03F52; 46L10, 46L37
%Z Mathematics [math]/Logic [math.LO]Journal articles
%X 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.
%G English
%L hal-01322171
%U https://hal.science/hal-01322171
%~ CNRS
%~ UNIV-AMU
%~ IML
%~ I2M