Reversible combinatory logic

DOI10.1017/S0960129506005391MaRDI QIDQ5482262zbMATH OpenOpenAlexFDO

Authors Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Publication date 28 August 2006

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

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

zbMATH Keywords

algebraic modelclassical combinatory logicreversibilityreversible computational models

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• On reversible combinatory logic
• Reversible computations in logic programming
• Logic of reversible automata
• Reversible computation in term rewriting
• A classical propositional logic for reasoning about reversible logic circuits
• Describing and Optimising Reversible Logic Using a Functional Language
• scientific article; zbMATH DE number 993359
• Reversible monadic computing
• Constructive reversible logic synthesis for Boolean functions with special properties

Cited in

(10)

• Reversible computation in term rewriting
• The \(\aleph \)-calculus. A declarative model of reversible programming
• From reversible programs to univalent universes and back
• Describing and Optimising Reversible Logic Using a Functional Language
• On reversible combinatory logic
• scientific article; zbMATH DE number 1231514 (Why is no real title available?)
• lambda!-calculus, Intersection Types, and Involutions
• The involutions-as-principal types/application-as-unification analogy
• Equality in lambda calculus. Weak universality in category theory and reversible computations
• Fundamentals of reversible flowchart languages

This page was built for publication: Reversible combinatory logic

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