scientific article; zbMATH DE number 785046

zbMath0828.03026MaRDI QIDQ4842535

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 (1)

Unnamed Item

This page was built for publication: