scientific article; zbMATH DE number 5038458
From MaRDI portal
Publication:5477354
zbMath1105.03064MaRDI QIDQ5477354
Publication date: 3 July 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Selfadjoint operator algebras ((C^*)-algebras, von Neumann ((W^*)-) algebras, etc.) (46L99) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (9)
Interaction graphs: graphings ⋮ Interaction graphs: additives ⋮ Partially traced categories ⋮ A correspondence between maximal abelian sub-algebras and linear logic fragments ⋮ Geometry of interaction. V: Logic in the hyperfinite factor ⋮ Interpreting a finitary pi-calculus in differential interaction nets ⋮ Interaction graphs: multiplicatives ⋮ Dynamic game semantics ⋮ A game-semantic model of computation
This page was built for publication:
