Condition/decision duality and the internal logic of extensive restriction categories
From MaRDI portal
Publication:2133172
DOI10.1016/j.entcs.2019.09.010OpenAlexW2945894892WikidataQ113317353 ScholiaQ113317353MaRDI QIDQ2133172
Publication date: 29 April 2022
Full work available at URL: https://arxiv.org/abs/1905.09181
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
From reversible programming languages to reversible metalanguages ⋮ Algeo: an algebraic approach to reversibility
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Join inverse categories and reversible recursion
- Fundamentals of reversible flowchart languages
- On flowchart theories. I. The deterministic case
- Partially additive categories and flow-diagram semantics
- Introduction to extensive and distributive categories
- Categorical logic and type theory
- Restriction categories II: Partial map classification
- Stone-type representations and dualities for varieties of bisemilattices
- A categorical foundation for structured reversible flowchart languages
- A Survey of Graphical Languages for Monoidal Categories
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Introduction to Software Testing
- Adjointness in Foundations
- Structured Programming With and Without go to Statements
- Conversion of Unstructured Flow Diagrams to Structured Form
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- Nonsense logics and their algebraic properties
- Flow diagrams, turing machines and languages with only two formation rules
- Restriction categories III: colimits, partial limits and extensivity
- Restriction categories. I: Categories of partial maps
This page was built for publication: Condition/decision duality and the internal logic of extensive restriction categories
