Join inverse categories and reversible recursion
type: Item
instance of: scholarly article
title: Join inverse categories and reversible recursion
zbMATH Open document ID: 1359.68045
author: Robin Kaarsgaard
author: Holger Bock Axelsen
author: Robert Glück
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2017-02-22T00:00:00Z
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 18D20
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6688101
zbMATH Keywords: reversible computing
zbMATH Keywords: recursion
zbMATH Keywords: categorical semantics
zbMATH Keywords: enriched category theory
Wikidata QID: Q62038210
describes a project that uses: Theseus
MaRDI profile type: Publication
full work available at URL: j.jlamp.2016.08.003
OpenAlex ID: W2513689028
cites work: Join Inverse Categories as Models of Reversible Recursion
cites work: Irreversibility and Heat Generation in the Computing Process
cites work: Conservative logic
cites work: Logical Reversibility of Computation
cites work: What Do Reversible Programs Compute?
cites work: Reversible Limited Automata
cites work: Two-Way Reversible Multi-Head Finite Automata
cites work: Reverse Code Generation for Parallel Discrete Event Simulation
cites work: A Compositional Semantics for the Reversible p-Calculus
cites work: Towards a Domain-Specific Language for Reversible Assembly Sequences
cites work: Fundamentals of reversible flowchart languages
cites work: Restriction categories. I: Categories of partial maps
cites work: A Representation Theorem for Unique Decomposition Categories
cites work: Towards a Reversible Functional Language
cites work: Q4414734
cites work: Functional and Logic Programming
cites work: Programming Languages and Systems
cites work: Information effects
cites work: Restriction categories II: Partial map classification
cites work: Restriction categories III: colimits, partial limits and extensivity
cites work: Q4537454
cites work: Q3864044
cites work: On the Functor ℓ2
cites work: Categories of partial maps
cites work: Recursive data types in algebraically \(\omega\)-complete categories
cites work: Algebraically compact functors
cites work: Q5655528
cites work: Computing with Semirings and Weak Rig Groupoids
cites work: Traced monoidal categories
cites work: Retracing some paths in process algebra
cites work: Q3024908
cites work: A Survey of Graphical Languages for Monoidal Categories
cites work: Geometry of Interaction and linear combinatory algebras
cites work: The inverse semigroup of a sum-ordered semiring
cites work: Restriction categories as enriched categories
cites work: Finite dimensional Hilbert spaces are complete for dagger compact closed categories
cites work: Idempotents in dagger categories (extended abstract)
DBLP publication ID: journals/jlp/KaarsgaardAG17
DOI: 10.1016/J.JLAMP.2016.08.003
description: scientific article; zbMATH DE number 6688101