@inproceedings{paper62, title = "A Structural Approach to Reversible Computation", author = "S. Abramsky", year = "2001", booktitle = "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", }