Reversible combinatory logic

• Autores: Alexandra di Pierro, Chris Hankin, Herbert Wilkicky
• Localización: Mathematical structures in computer science, ISSN 0960-1295, Vol. 16, Nº 4, 2006, págs. 621-637
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • The $\lambda$-calculus is destructive: its main computational mechanism, beta reduction, destroys the redex, which makes replaying the computational steps impossible. Combinatory logic is a variant of the $\lambda$-calculus that maintains irreversibility. Recently, reversible computational models have been studied mainly in the context of quantum computation, as (without measurements) quantum physics is inherently reversible. However, reversibility also fundamentally changes the semantical framework in which classical computation has to be investigated. We describe an implementation of classical combinatory logic in a reversible calculus for which we present an algebraic model based on a generalisation of the notion of a group.