On the Expressivity of Total Reversible Programming Languages

Armando B. Matos, Luca Paolini, Luca Roversi. On the Expressivity of Total Reversible Programming Languages. In Ivan Lanese, Mariusz Rawski, editors, Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. Volume 12227 of Lecture Notes in Computer Science, pages 128-143, Springer, 2020. [doi]

Authors

Armando B. Matos

This author has not been identified. Look up 'Armando B. Matos' in Google

Luca Paolini

This author has not been identified. It may be one of the following persons: Look up 'Luca Paolini' in Google

Luca Roversi

This author has not been identified. Look up 'Luca Roversi' in Google