Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
From MaRDI portal
Publication:3000923
DOI10.1007/978-3-642-12821-9_5zbMath1253.81012OpenAlexW938235216MaRDI QIDQ3000923
Esfandiar Haghverdi, Philip J. Scott
Publication date: 31 May 2011
Published in: New Structures for Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-12821-9_5
General and philosophical questions in quantum theory (81P05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Partial traces on additive categories, From reversible programming languages to reversible metalanguages, Partially traced categories, Machine semantics, Quantum circuit oracles for abstract machine computations, A MALL geometry of interaction based on indexed linear logic