scientific article; zbMATH DE number 785046

zbMATH Open0828.03026MaRDI QIDQ4842535FDOQ4842535

Authors: Jean-Yves Girard 

Publication date: 18 December 1995

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4204146
• New foundations for the geometry of interaction
• Geometry of interaction. V: Logic in the hyperfinite factor
• Geometry of Interaction and linear combinatory algebras
• scientific article; zbMATH DE number 1342271

zbMATH Keywords

\(C^*\)-algebraslinear logiccut-eliminationunificationlogic programmingextended sequent calculus

Mathematics Subject Classification ID

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

Cited In (18)

• Geometry of Interaction and linear combinatory algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interactions on manifolds and the construction of material structure
• On the coexistence of various geometries
• Geometry of interaction. V: Logic in the hyperfinite factor
• New foundations for the geometry of interaction
• Particle-style geometry of interaction as a module system
• Title not available (Why is that?)
• Semantics for a lambda calculus for string diagrams
• A correspondence between maximal abelian sub-algebras and linear logic fragments
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Development of the concept of natural geometry for physical interactions
• Objects, interference, and the Yoneda embedding
• Memoryful geometry of interaction. II: Recursion and adequacy
• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842535)