Typed GoI for Exponentials

DOI10.1007/11787006_33MaRDI QIDQ3591432zbMATH OpenOpenAlexFDO

Authors Esfandiar Haghverdi

Publication date 11 September 2007

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11787006_33

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Towards a typed geometry of interaction
• Computer Science Logic
• Geometry of Interaction and linear combinatory algebras
• Automata, Languages and Programming
• A categorical model for the geometry of interaction

Cited in

(5)

• Partially traced categories
• Towards a typed geometry of interaction
• Interaction graphs: exponentials
• Computer Science Logic
• Proofs as Polynomials

This page was built for publication: Typed GoI for Exponentials

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