Imaginary groups: lazy monoids and reversible computation

DOI10.1017/S0960129512000849MaRDI QIDQ5400854zbMATH OpenFDO

Authors Murdoch J. Gabbay, Peter H. Kropholler

Publication date 12 March 2014

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129512000849

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Ordered groups (06F15) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Recommendations

• Reversible monadic computing
• Notions of computation as monoids
• Inverting Elements in Rigid Monoids
• Rational subsets of partially reversible monoids
• Gcd-monoids arising from homotopy groupoids

Cites work

• Applying universal algebra to lambda calculus
• Cayley's Theorem for Topological Groups
• Focusing and polarization in linear, intuitionistic, and classical logics
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• scientific article; zbMATH DE number 1776257 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• Irreversibility and Heat Generation in the Computing Process
• Logic, epistemology, and the unity of science
• Logical Reversibility of Computation
• Nominal unification
• On the immersion of an algebraic ring into a field
• Reversing algebraic process calculi

Cited in

(2)

• Reversible effects as inverse arrows
• Lazy groupoids

This page was built for publication: Imaginary groups: lazy monoids and reversible computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5400854)