A Structural Approach to Reversible Computation (2001)

by Samson Abramsky
Venue:Theoretical Computer Science
Citations:18 - 3 self

Documents Related by Co-Citation

28 Reversible communicating systems – Vincent Danos, Jean Krivine, Université Paris, Inria Rocquencourt - 2004
452 Logical reversibility of computation – C H Bennett
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
49 A lambda calculus for quantum computation – André Van Tonder
8 Probabilistic lambda-calculus and quantitative program analysis – A Di Pierro, C Hankin, H Wiklicky - 2005
67 Retracing some paths in Process Algebra – Samson Abramsky
329 Irreversibility and heat generation in the computing process – R Landauer - 1961
4 R.: What do reversible programs compute – H B Axelsen, Glück - 2011
14 Transactions in RCCS – Vincent Danos, Jean Krivine - 2005
46 A functional quantum programming language – Jonathan James Grattage, James Chapman, Alex Green, Mark Jago, Wouter Swierstra, Mauro Jaskelioff - 2005
44 Geometry of Interaction and Linear Combinatory Algebras – Samson Abramsky, Esfandiar Haghverdi, Philip Scott - 2000
58 From groups to groupoids: a brief survey – Ronald Brown - 1987
15 Über eine Verallgemeinerung des Gruppengriffes. Mathematische Annalen – W Brandt - 1926
208 Modal Logics – R Feys - 1965
73 New Foundations for the Geometry of Interaction – Samson Abramsky, Radha Jagadeesan - 1993
170 Traced monoidal categories – André Joyal, Ross Street, Domnic Verity - 1996
1355 Quantum computation and quantum information – M A Nielsen, I L Chuang - 2000
30 Logical reversibility of computation – C H Bennet - 1973
153 A Categorical Semantics of Quantum Protocols – Samson Abramsky, Bob Coecke