Reversible combinatory logic
From MaRDI portal
Publication:5482262
DOI10.1017/S0960129506005391zbMath1103.03015OpenAlexW2129644491MaRDI QIDQ5482262
Herbert Wiklicky, Alessandra Di Pierro, Chris Hankin
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
From reversible programs to univalent universes and back ⋮ Reversible computation in term rewriting ⋮ Fundamentals of reversible flowchart languages ⋮ lambda!-calculus, Intersection Types, and Involutions ⋮ The \(\aleph \)-calculus. A declarative model of reversible programming
This page was built for publication: Reversible combinatory logic
