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

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

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

• A compositional semantics for the reversible -calculus
• A Representation Theorem for Unique Decomposition Categories
• 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
• scientific article; zbMATH DE number 2185716 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• 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 -complete categories
• Restriction categories as enriched categories
• Restriction categories II: Partial map classification
• Restriction categories III: colimits, partial limits and extensivity
• 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

(7)

• A categorical foundation for structured reversible flowchart languages
• The category \textsf{TOF}
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Join inverse categories and reversible recursion
• Reversible monadic computing
• Categorical semantics of reversible pattern-matching
• Semantics for a Turing-complete reversible programming language with inductive types

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)