Join inverse categories as models of reversible recursion

DOI10.1007/978-3-662-49630-5_5MaRDI QIDQ2811333zbMATH OpenOpenAlexFDO

Authors Holger Bock Axelsen, Robin Kaarsgaard

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

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

Recommendations

• Join inverse categories and reversible recursion
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Towards a reversible functional language
• Reversible monadic computing
• Towards a categorical representation of reversible event structures

Cites work

• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• A Representation Theorem for Unique Decomposition Categories
• A compositional semantics for the reversible \(\pi\)-calculus
• A survey of graphical languages for monoidal categories
• Algebraically compact functors
• Categories of partial maps
• Conservative logic
• Finite dimensional Hilbert spaces are complete for dagger compact closed categories
• Geometry of Interaction and linear combinatory algebras
• Idempotents in dagger categories (extended abstract)
• Irreversibility and Heat Generation in the Computing Process
• Logical Reversibility of Computation
• On the Functor ℓ2
• Recursive data types in algebraically \(\omega\)-complete categories
• 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
• Reverse code generation for parallel discrete event simulation
• Reversible limited automata
• The inverse semigroup of a sum-ordered semiring
• Towards a domain-specific language for reversible assembly sequences
• Towards a reversible functional language
• Traced monoidal categories
• Two-way reversible multi-head finite automata
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• What do reversible programs compute?

Cited in

(6)

• The category \textsf{TOF}
• Categorical semantics of reversible pattern-matching
• A categorical foundation for structured reversible flowchart languages
• Reversible monadic computing
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Join inverse categories and reversible recursion

Describes a project that uses

Uses Software

• Theseus

This page was built for publication: Join inverse categories as models of reversible recursion

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