Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings - Krivine, Jean; Stefani, Jean-Bernard (Springer International Publishing : Imprint: Springer, 2015)