Holger Bock Axelsen, Robert Glück
What Do Reversible Programs Compute?
FoSSaCS, 2011.
@inproceedings{FoSSaCS-2011-AxelsenG, author = "Holger Bock Axelsen and Robert Glück", booktitle = "{Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-642-19805-2_4", isbn = "978-3-642-19804-5", pages = "42--56", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{What Do Reversible Programs Compute?}", volume = 6604, year = 2011, }