Imaginary groups: lazy monoids and reversible computation

DOI10.1017/S0960129512000849zbMath1286.68132MaRDI QIDQ5400854

Peter H. Kropholler, Murdoch James Gabbay

Publication date: 12 March 2014

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

Mathematics Subject Classification ID

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

Related Items (1)

Reversible effects as inverse arrows

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Focusing and polarization in linear, intuitionistic, and classical logics
• Nominal unification
• Logic, epistemology, and the unity of science
• Reversing algebraic process calculi
• On the immersion of an algebraic ring into a field
• Applying Universal Algebra to Lambda Calculus
• Irreversibility and Heat Generation in the Computing Process
• Cayley's Theorem for Topological Groups
• Logical Reversibility of Computation

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