Join inverse categories and reversible recursion

DOI10.1016/j.jlamp.2016.08.003zbMath1359.68045OpenAlexW2513689028WikidataQ62038210 ScholiaQ62038210MaRDI QIDQ511931

Robert Glück, Robin Kaarsgaard, Holger Bock Axelsen

Publication date: 22 February 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.08.003

zbMATH Keywords

recursioncategorical semanticsreversible computingenriched category theory

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (10)

A categorical foundation for structured reversible flowchart languages ⋮ Condition/decision duality and the internal logic of extensive restriction categories ⋮ Reversible effects as inverse arrows ⋮ From reversible programming languages to reversible metalanguages ⋮ Étale inverse semigroupoids: elementary properties, universal constructions and duality ⋮ Optimization of reversible control flow graphs ⋮ Reversible computing from a programming language perspective ⋮ Join inverse categories and reversible recursion ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Inversion, Iteration, and the Art of Dual Wielding

Uses Software

• Theseus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Join inverse categories and reversible recursion
• The inverse semigroup of a sum-ordered semiring
• Fundamentals of reversible flowchart languages
• 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
• Computing with Semirings and Weak Rig Groupoids
• Join Inverse Categories as Models of Reversible Recursion
• 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
• Information effects
• 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
• Geometry of Interaction and linear combinatory algebras
• Traced monoidal categories
• On the Functor ℓ2
• A Compositional Semantics for the Reversible p-Calculus
• Functional and Logic Programming
• Logical Reversibility of Computation
• Restriction categories III: colimits, partial limits and extensivity
• Programming Languages and Systems
• Restriction categories. I: Categories of partial maps
• Retracing some paths in process algebra

This page was built for publication: Join inverse categories and reversible recursion