可逆計算、不可逆計算
これって、メモしておいたっけ?
- Title: QPL 2006 : From reversible to irreversible computations
- Authors: Alexander S. Green, Thorsten Altenkirch
- URL: http://www.mscs.dal.ca/~selinger/qpl2006/PDFS/05-Green-Altenkirch.pdf
- URL (2): http://sneezy.cs.nott.ac.uk/qml/pub/GreenAlten06/GA06qpl.pdf