A Structural Approach to Reversible Computation
S. Abramsky
Book Title
LCCS 2001: Proceedings of the International Workshop on Logic and Complexity in Computer Science
Editor
D. Beauquier and Y. Matiyasevich
Pages
1−16
Series
LACL
Year
2001
S. Abramsky