Join inverse rig categories for reversible functional programming, and beyond
From MaRDI portal
Publication:6653754
Cites work
- scientific article; zbMATH DE number 3665176 (Why is no real title available?)
- scientific article; zbMATH DE number 3692653 (Why is no real title available?)
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- A categorical foundation for structured reversible flowchart languages: soundness and adequacy
- A compositional semantics for the reversible \(\pi\)-calculus
- Algebraically compact functors
- Classical control and quantum circuits in enriched category theory
- Complete positivity and natural representation of quantum computations
- Conservative logic
- DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
- Fundamentals of reversible flowchart languages
- Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
- Information effects
- Irreversibility and Heat Generation in the Computing Process
- Join inverse categories and reversible recursion
- Lax factorization algebras
- Logical Reversibility of Computation
- Restriction categories II: Partial map classification
- Restriction categories III: colimits, partial limits and extensivity
- Restriction categories as enriched categories
- Restriction categories. I: Categories of partial maps
- Towards a domain-specific language for reversible assembly sequences
- Towards a reversible functional language
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)
