2 papers
cs.LO2026
A uniform characterisation of the (a)synchronous must-preorder
Giovanni Bernardi, Hugo Férée, Gaëtan Lopez
In the setting of message passing software, De Nicola and Hennessy must-preorder defines when a program improves on another one. Since this preorder does not come equipped with a v…
cs.LO2025
A Rewriting Theory for Quantum Lambda-Calculus
Claudia Faggian, Gaetan Lopez, Benoît Valiron
Quantum lambda calculus has been studied mainly as an idealized programming language -- the evaluation essentially corresponds to a deterministic abstract machine. Very little work…