Categorical Semantics of Reversible Pattern-Matching
- Computer ScienceElectronic Proceedings in Theoretical Computer Science
A typed, functional reversible language based on Theseus is focused on, and it is shown how a categorical structure to add to join inverse rig categories makes an adequate model for reversible pattern-matching.
Effectuses in Categorical Quantum Foundations
This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its connections with…
From reversible programming languages to reversible metalanguages
- Computer ScienceTheor. Comput. Sci.
SHOWING 1-10 OF 30 REFERENCES
A Categorical Foundation for Structured Reversible Flowchart Languages
- Computer ScienceMFPS
Adjointness in Foundations
This article sums up a stage of the development of the relationship between category theory and proof theory and shows how already in 1967 category theory had made explicit a number of conceptual advances that were entering into the everyday practice of mathematics.
Algebraic Approaches to Program Semantics
- Computer ScienceTexts and Monographs in Computer Science
This book is an introduction to denotational semantics, introducing the reader to the order semantics of Scott and Strachey and the authors' own partially additive semantics.
A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- Computer ScienceLog. Methods Comput. Sci.
A categorical foundation for this class of languages based on inverse categories with joins is developed, which leads to a categorical semantics for structured reversible flowcharts, which is shown to be computationally sound and adequate, as well as equationally fully abstract with respect to the operational semantics under certain conditions.
Restriction categories III: colimits, partial limits and extensivity
- MathematicsMathematical Structures in Computer Science
An Introduction to Effectus Theory
This text is an account of the basics of effectus theory, which includes the fundamental duality between states and effects, with the associated Born rule for validity of an effect (predicate) in a particular state.
Flow diagrams, turing machines and languages with only two formation rules
- Computer ScienceCACM
In the first part of the paper, flow diagrams are introduced to represent inter ah mappings of a set into itself due to a suitable extension of the given set and of the basic mappings defined in it.
A Survey of Graphical Languages for Monoidal Categories
This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams. It is hoped that this will be useful not just to mathematicians, but also…
Structured Programming With and Without go to Statements
- Computer ScienceIEEE Transactions on Software Engineering
The analogous multiexit composition binary alternation-conditional iteration (CACI) schemes introduced below, which are virtually as simple and perspicuous as Dijkstra schemes, describe exactly the same computational processes as flow-chart schemes (without the aid of additional variables).