Strict geometry of interaction graph models

zbMATH Open1273.03179MaRDI QIDQ3408153FDOQ3408153

Authors: Furio Honsell, Marina Lenisa, Rekha Redamalla 

Publication date: 24 February 2010

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

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)

Cited In (2)

• Title not available (Why is that?)
• 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)