Fundamentals of compositional rewriting theory
From MaRDI portal
Publication:6052944
DOI10.1016/j.jlamp.2023.100893arXiv2204.07175OpenAlexW4289307983MaRDI QIDQ6052944
Nicolas Behr, Russ Harmer, Jean Krivine
Publication date: 25 September 2023
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2204.07175
compositional rewriting theorydouble categorical semanticsdouble- and Sesqui-Pushout rewritingfibrational structures
Related Items (2)
Specification and modelling of computing systems through graphs and graph transformation ⋮ A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Monads in double categories
- How to delete categorically -- two pushout complement constructions
- Algebraic approach to single-pushout graph transformation
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Pseudo algebras and pseudo double categories
- Quasitopoi, logic and Heyting-valued models
- Exponentiable morphisms, partial products and pullback complements
- Categorical logic and type theory
- Restriction categories II: Partial map classification
- Isabelle/HOL. A proof assistant for higher-order logic
- The PBPO graph transformation approach
- Distributed graphs and graph transformation
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Concurrency theorems for non-linear rewriting theories
- Graph rewriting and relabeling with PBPO\textsuperscript{+}
- Fundamentals of algebraic graph transformation
- On the axioms for adhesive and quasiadhesive categories
- $\mathcal M, \mathcal N$ -Adhesive Transformation Systems
- Thermodynamic graph-rewriting
- Polymorphic Sesqui-Pushout Graph Rewriting
- AGREE – Algebraic Graph Rewriting with Controlled Embedding
- A Software Package for Chemically Inspired Graph Transformation
- Reversible Sesqui-Pushout Rewriting
- Rule Algebras for Adhesive Categories
- 2-Dimensional Categories
- The Lean Theorem Prover (System Description)
- Rule-Based Modelling of Cellular Signalling
- Sesqui-Pushout Rewriting
- Toposes Are Adhesive
- Quasitoposes, Quasiadhesive Categories and Artin Glueing
- Fibered categories and the foundations of naive category theory
- Handbook of Graph Grammars and Computing by Graph Transformation
- Hereditary Pushouts Reconsidered
- Hierarchical Graph Transformation Revisited
- Compositionality of Rewriting Rules with Conditions
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
- Concurrent Separation Logic Meets Template Games
- Graph Transformations
- Foundations of Software Science and Computation Structures
- Adhesive and quasiadhesive categories
- Finitary -adhesive categories
- Multi-amalgamation of rules with application conditions in -adhesive categories
- Knowledge representation and update in hierarchies of graphs
- Restriction categories. I: Categories of partial maps
This page was built for publication: Fundamentals of compositional rewriting theory
