Geometry of interaction and the dynamics of proof reduction: a tutorial

DOI10.1007/978-3-642-12821-9_5MaRDI QIDQ3000923zbMATH OpenOpenAlexFDO

Authors Esfandiar Haghverdi, Philip 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

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) General and philosophical questions in quantum theory (81P05)

Recommendations

• Towards a typed geometry of interaction
• On geometry of interaction for polarized linear logic
• Computer Science Logic
• Proofs as Polynomials
• Automata, Languages and Programming

Cited in

(11)

• Partially traced categories
• Partial traces on additive categories
• From reversible programming languages to reversible metalanguages
• Memoryful geometry of interaction. II: Recursion and adequacy
• From geometry of interaction to denotational semantics
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• A \(\mathsf{MALL}\) geometry of interaction based on indexed linear logic
• Braids, twists, trace and duality in combinatory algebras
• Interactive observability in Ludics: the geometry of tests
• Machine semantics
• Quantum circuit oracles for abstract machine computations

This page was built for publication: Geometry of interaction and the dynamics of proof reduction: a tutorial

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