Join inverse rig categories for reversible functional programming, and beyond

DOI10.4204/EPTCS.351.10MaRDI QIDQ6653754FDOQ6653754

Authors: Robin Kaarsgaard, Mathys Rennela 

Publication date: 17 December 2024

Mathematics Subject Classification ID

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

Cites Work

• Conservative logic
• Towards a reversible functional language
• Information effects
• Irreversibility and Heat Generation in the Computing Process
• Title not available (Why is that?)
• A compositional semantics for the reversible \(\pi\)-calculus
• Logical Reversibility of Computation
• Restriction categories. I: Categories of partial maps
• Title not available (Why is that?)
• Fundamentals of reversible flowchart languages
• Algebraically compact functors
• Restriction categories II: Partial map classification
• Restriction categories as enriched categories
• Towards a domain-specific language for reversible assembly sequences
• Title not available (Why is that?)
• Join inverse categories and reversible recursion
• Restriction categories III: colimits, partial limits and extensivity
• Lax factorization algebras
• Classical control and quantum circuits in enriched category theory
• Complete positivity and natural representation of quantum computations
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
• DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.

This page was built for publication: Join inverse rig categories for reversible functional programming, and beyond

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