Join inverse rig categories for reversible functional programming, and beyond

DOI10.4204/eptcs.351.10MaRDI QIDQ6653754

Robin Kaarsgaard, Mathys Rennela

Publication date: 17 December 2024

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Join inverse categories and reversible recursion
• Fundamentals of reversible flowchart languages
• Conservative logic
• Algebraically compact functors
• Restriction categories II: Partial map classification
• Lax factorization algebras
• Classical control and quantum circuits in enriched category theory
• Restriction categories as enriched categories
• Complete positivity and natural representation of quantum computations
• Towards a Domain-Specific Language for Reversible Assembly Sequences
• Towards a Reversible Functional Language
• Information effects
• Irreversibility and Heat Generation in the Computing Process
• A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• 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 rig categories for reversible functional programming, and beyond