scientific article; zbMATH DE number 786500

zbMath0828.03027MaRDI QIDQ4842981

Jean-Yves Girard

Publication date: 18 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicunification\(C^*\)-algebrascut-eliminationlogic programmingextended sequent calculus

Mathematics Subject Classification ID

Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46L99) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Cut-elimination and normal-form theorems (03F05) Logic programming (68N17) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (26)

Interaction graphs: graphings ⋮ Interaction graphs: additives ⋮ Abstract machines, optimal reduction, and streams ⋮ Partially traced categories ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ A proof-theoretic investigation of a logic of positions ⋮ Representation of partial traces ⋮ Unnamed Item ⋮ Classical Structures Based on Unitaries ⋮ Proofs as Polynomials ⋮ Geometry of interaction. V: Logic in the hyperfinite factor ⋮ Musings around the geometry of interaction, and coherence ⋮ Towards a geometry of recursion ⋮ Unnamed Item ⋮ On geometry of interaction for polarized linear logic ⋮ Unary Resolution: Characterizing Ptime ⋮ lambda!-calculus, Intersection Types, and Involutions ⋮ Unnamed Item ⋮ Dynamic game semantics ⋮ A game-semantic model of computation ⋮ Connection methods in linear logic and proof nets construction ⋮ Interaction nets for linear logic ⋮ A MALL geometry of interaction based on indexed linear logic ⋮ A structural approach to reversible computation ⋮ Transcendental syntax I: deterministic case ⋮ A categorical model for the geometry of interaction

This page was built for publication: