On reversible combinatory logic

MaRDI QIDQ2851703zbMATH OpenFDO

Authors Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000843

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• Reversible combinatory logic
• A structural approach to reversible computation
• Reversing algebraic process calculi
• What do reversible programs compute?
• Foundations of Software Science and Computation Structures

Cited in

(7)

• Computing with semirings and weak rig groupoids
• Describing and Optimising Reversible Logic Using a Functional Language
• From reversible to irreversible computations
• Reverse constructive logic
• On the Power of Logic Resynthesis
• The involutions-as-principal types/application-as-unification analogy
• Reversible combinatory logic

This page was built for publication: On reversible combinatory logic

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