Similar Items: A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- Relating Reversible Petri Nets and Reversible Event Structures, categorically
- Categorical structures for type theory in univalent foundations
- Cores of Countably Categorical Structures
- A categorical semantics for causal structure
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- revTPL: The Reversible Temporal Process Language