Jean Krivine, Jean-Bernard Stefani. Reversible Computation: Proceedings 7th International Conference, RC 2015. Krivine, Jean; Stefani, Jean-Bernard.
Reversible Computation, Jul 2015, Grenoble, France. 9138,
Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6.
⟨10.1007/978-3-319-20860-2⟩.
⟨hal-01246644⟩