Publication:3203017

zbMath0716.03047MaRDI QIDQ3203017

Jean-Yves Girard

Publication date: 1990

zbMATH Keywords

linear logic; operator algebra; \(C^ *\)-algebras; axiomatic theory of algorithms

Mathematics Subject Classification ID

46L99: Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.)

03B70: Logic in computer science

03F05: Cut-elimination and normal-form theorems

Related Items

A correspondence between maximal abelian sub-algebras and linear logic fragments, Dynamic game semantics, δο!∈=1 Optimizing optimal λ-calculus implementations, Abstract machines, optimal reduction, and streams, lambda!-calculus, Intersection Types, and Involutions, Proofs as Polynomials, Asymptotic cyclic expansion and bridge groups of formal proofs, Interaction graphs: graphings, Geometry of interaction. V: Logic in the hyperfinite factor, Musings around the geometry of interaction, and coherence, Towards a geometry of recursion, A categorical model for the geometry of interaction, Interaction graphs: additives, Machine semantics, Bounded linear logic: A modular approach to polynomial-time computability, On the \(\pi\)-calculus and linear logic, Full abstraction for PCF, Petri nets, Horn programs, linear logic and vector games, On paradoxes in normal form, A game-semantic model of computation, A structural approach to reversible computation