Join Inverse Categories as Models of Reversible Recursion

DOI10.1007/978-3-662-49630-5_5zbMath1475.68058MaRDI QIDQ2811333

Robin Kaarsgaard, Holger Bock Axelsen

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

68N18: Functional programming and lambda calculus

68Q55: Semantics in the theory of computing

68Q65: Abstract data types; algebraic specification

18C50: Categorical semantics of formal languages

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

18D20: Enriched categories (over closed or monoidal categories)

Related Items

A categorical foundation for structured reversible flowchart languages: Soundness and adequacy, Join inverse categories and reversible recursion, A categorical foundation for structured reversible flowchart languages, The Category TOF

Uses Software

• Theseus

Cites Work

• Unnamed Item
• Unnamed Item
• The inverse semigroup of a sum-ordered semiring
• Categories of partial maps
• Conservative logic
• Algebraically compact functors
• Restriction categories II: Partial map classification
• Recursive data types in algebraically \(\omega\)-complete categories
• Restriction categories as enriched categories
• Reverse Code Generation for Parallel Discrete Event Simulation
• Towards a Domain-Specific Language for Reversible Assembly Sequences
• Idempotents in Dagger Categories
• Towards a Reversible Functional Language
• Finite dimensional Hilbert spaces are complete for dagger compact closed categories
• Reversible Limited Automata
• What Do Reversible Programs Compute?
• A Survey of Graphical Languages for Monoidal Categories
• Two-Way Reversible Multi-Head Finite Automata
• A Representation Theorem for Unique Decomposition Categories
• Irreversibility and Heat Generation in the Computing Process
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Geometry of Interaction and linear combinatory algebras
• Traced monoidal categories
• On the Functor ℓ2
• 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