On Compositionality of Dinatural Transformations

DOI10.4230/LIPIcs.CSL.2018.33OpenAlexW2888814966MaRDI QIDQ5079758

Guy McCusker, Alessio Santamaria

Publication date: 28 May 2022

Full work available at URL: https://dblp.uni-trier.de/db/conf/csl/csl2018.html#McCuskerS18

zbMATH Keywords

compositionalitycategorical logicdinatural transformation

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• A characterization of the least-fixed-point operator by dinaturality
• Linear logic, coherence and dinaturality
• Functorial polymorphism
• Categorical fixed point semantics
• A generalization of the functorial calculus
• Coherence in closed categories
• A Survey of Graphical Languages for Monoidal Categories
• Normalisation Control in Deep Inference via Atomic Flows
• Introduction to bicategories
• Dinatural transformations
• Structuring acyclic Petri nets for reachability analysis and control

This page was built for publication: On Compositionality of Dinatural Transformations