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

DOI10.1016/J.ENTCS.2019.09.010OpenAlexW2945894892WikidataQ113317353 ScholiaQ113317353MaRDI QIDQ2133172FDOQ2133172

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)

Cites Work

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

Cited In (4)

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

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)