Condition/decision duality and the internal logic of extensive restriction categories

DOI10.1016/J.ENTCS.2019.09.010MaRDI QIDQ2133172zbMATH OpenOpenAlexWikidataFDO

Authors Robin Kaarsgaard

Publication date 29 April 2022

Full work available at URL https://arxiv.org/abs/1905.09181

zbMATH Keywords

categorical logicextensivityweak Kleene logicflowchart languagesrestriction categories

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Boolean and classical restriction categories
• A categorical foundation for structured reversible flowchart languages
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Classical distributive restriction categories
• Restriction categories III: colimits, partial limits and extensivity

Cites work

• scientific article; zbMATH DE number 3956410 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 3665176 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A categorical foundation for structured reversible flowchart languages
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• A survey of graphical languages for monoidal categories
• Adjointness in Foundations
• Categorical logic and type theory
• Conversion of Unstructured Flow Diagrams to Structured Form
• Flow diagrams, turing machines and languages with only two formation rules
• Fundamentals of reversible flowchart languages
• Introduction to Software Testing
• Introduction to extensive and distributive categories
• Join inverse categories and reversible recursion
• New directions in categorical logic, for classical, probabilistic and quantum logic
• Nonsense logics and their algebraic properties
• On flowchart theories. I. The deterministic case
• Partially additive categories and flow-diagram semantics
• Restriction categories II: Partial map classification
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories. I: Categories of partial maps
• Stone-type representations and dualities for varieties of bisemilattices
• Structured Programming With and Without go to Statements

Cited in

(4)

• Algeo: an algebraic approach to reversibility
• Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories
• From reversible programming languages to reversible metalanguages
• Categorical semantics of reversible pattern-matching

This page was built for publication: Condition/decision duality and the internal logic of extensive restriction categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133172)