Join Inverse Categories as Models of Reversible Recursion

DOI10.1007/978-3-662-49630-5_5zbMath1475.68058OpenAlexW2463737592MaRDI QIDQ2811333

Robin Kaarsgaard, Holger Bock Axelsen

Publication date: 10 June 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49630-5_5

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (4)

A categorical foundation for structured reversible flowchart languages ⋮ The Category TOF ⋮ Join inverse categories and reversible recursion ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

Uses Software

• Theseus

Cites Work

• Unnamed Item
• Unnamed Item
• The inverse semigroup of a sum-ordered semiring
• Categories of partial maps
• Conservative logic
• Algebraically compact functors
• Restriction categories II: Partial map classification
• Recursive data types in algebraically \(\omega\)-complete categories
• Restriction categories as enriched categories
• Reverse Code Generation for Parallel Discrete Event Simulation
• Towards a Domain-Specific Language for Reversible Assembly Sequences
• Idempotents in Dagger Categories
• Towards a Reversible Functional Language
• Finite dimensional Hilbert spaces are complete for dagger compact closed categories
• Reversible Limited Automata
• What Do Reversible Programs Compute?
• A Survey of Graphical Languages for Monoidal Categories
• Two-Way Reversible Multi-Head Finite Automata
• A Representation Theorem for Unique Decomposition Categories
• Irreversibility and Heat Generation in the Computing Process
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Geometry of Interaction and linear combinatory algebras
• Traced monoidal categories
• On the Functor ℓ2
• A Compositional Semantics for the Reversible p-Calculus
• Logical Reversibility of Computation
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories. I: Categories of partial maps

This page was built for publication: Join Inverse Categories as Models of Reversible Recursion