GS·Λ Theories

DOI10.1016/S1571-0661(04)80560-7zbMath1270.68123MaRDI QIDQ2842817

Ugo Montanari, Matteo Coccia, Fabio Gadducci

Publication date: 16 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (3)

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs ⋮ Free gs-monoidal categories and free Markov categories ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Languages for monoidal categories
• Notions of computation and monads
• A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
• An internal language for autonomous categories
• Parallel composition and decomposition of specifications
• Hierarchical graph transformation
• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• Normal forms for algebras of connections.
• An algebraic presentation of term graphs, via gs-monoidal categories
• Coalgebras and cartesian categories
• Premonoidal categories and notions of computation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Traced monoidal categories
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description
• Handbook of Graph Grammars and Computing by Graph Transformation

This page was built for publication: GS·Λ Theories