scientific article; zbMATH DE number 785046
From MaRDI portal
Publication:4842535
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)
Recommendations
Cited in
(18)- scientific article; zbMATH DE number 4179372 (Why is no real title available?)
- Particle-style geometry of interaction as a module system
- scientific article; zbMATH DE number 4099289 (Why is no real title available?)
- scientific article; zbMATH DE number 5038458 (Why is no real title available?)
- New foundations for the geometry of interaction
- Geometry of interaction. V: Logic in the hyperfinite factor
- Semantics for a lambda calculus for string diagrams
- Development of the concept of natural geometry for physical interactions
- Objects, interference, and the Yoneda embedding
- Geometry of Interaction and linear combinatory algebras
- Memoryful geometry of interaction. II: Recursion and adequacy
- scientific article; zbMATH DE number 7724203 (Why is no real title available?)
- scientific article; zbMATH DE number 811538 (Why is no real title available?)
- scientific article; zbMATH DE number 4123722 (Why is no real title available?)
- A correspondence between maximal abelian sub-algebras and linear logic fragments
- scientific article; zbMATH DE number 6917940 (Why is no real title available?)
- Interactions on manifolds and the construction of material structure
- On the coexistence of various geometries
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)
