Strict geometry of interaction graph models

MaRDI QIDQ3408153zbMATH OpenFDO

Authors Furio Honsell, Marina Lenisa, Rekha Redamalla

Publication date 24 February 2010

zbMATH Keywords

traced monoidal categorycategorical geometry of interactionlinear graph modelweak linear category

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Categories of spans/cospans, relations, or partial maps (18B10)

Recommendations

• Types for Proofs and Programs
• From geometry of interaction to denotational semantics
• A categorical model for the geometry of interaction
• Automata, Languages and Programming
• Towards a typed geometry of interaction

Cited in

(2)

• scientific article; zbMATH DE number 7724203 (Why is no real title available?)
• Types for Proofs and Programs

This page was built for publication: Strict geometry of interaction graph models

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