Join Inverse Categories as Models of Reversible Recursion

DOI10.1007/978-3-662-49630-5_5zbMATH Open1475.68058OpenAlexW2463737592MaRDI QIDQ2811333FDOQ2811333

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

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)

Cites Work

• Conservative logic
• Towards a Reversible Functional Language
• A Survey of Graphical Languages for Monoidal Categories
• Irreversibility and Heat Generation in the Computing Process
• Title not available (Why is that?)
• A Compositional Semantics for the Reversible p-Calculus
• Logical Reversibility of Computation
• Geometry of Interaction and linear combinatory algebras
• Traced monoidal categories
• Restriction categories. I: Categories of partial maps
• What Do Reversible Programs Compute?
• Algebraically compact functors
• Idempotents in dagger categories (extended abstract)
• The inverse semigroup of a sum-ordered semiring
• Two-Way Reversible Multi-Head Finite Automata
• On the Functor ℓ2
• Categories of partial maps
• 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
• Finite dimensional Hilbert spaces are complete for dagger compact closed categories
• Reversible Limited Automata
• Title not available (Why is that?)
• A Representation Theorem for Unique Decomposition Categories
• Restriction categories III: colimits, partial limits and extensivity
• Unique decomposition categories, Geometry of Interaction and combinatory logic

Cited In (5)

• The Category TOF
• A categorical foundation for structured reversible flowchart languages
• A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
• Categorical semantics of reversible pattern-matching
• Join inverse categories and reversible recursion

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)