``Wave-style geometry of interaction models in Rel are graph-like lambda-models

DOI10.1007/978-3-540-24849-1_16MaRDI QIDQ5712308zbMATH OpenOpenAlexFDO

Authors Furio Honsell, Marina Lenisa

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

categorical geometry of interactionlinear graph modeltraced monoidal categoryweak 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

• Strict geometry of interaction graph models
• A categorical model for the geometry of interaction
• A categorical model for the geometry of interaction
• Towards a typed geometry of interaction
• From geometry of interaction to denotational semantics

Cited in

(4)

• Strict geometry of interaction graph models
• Unsolvable terms in filter models (invited talk)
• A categorical model for the geometry of interaction
• A type assignment system for game semantics

This page was built for publication: ``Wave-style geometry of interaction models in Rel are graph-like lambda-models

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