From reversible to irreversible computations (0)

by A Green, T Altenkirch
Venue:QPL 2006 proceedings, ENTCS (2006). URL http://fop.cs.nott.ac.uk/qml