2 results
Davide Sangiorgi ; Xian Xu.
Levy-Longo Trees and Bohm Trees are the best known tree structures on the {\lambda}-calculus. We give general conditions under which an encoding of the {\lambda}-calculus into the {\pi}-calculus is sound and complete with respect to such trees. We apply these conditions to various encodings of the […]
Published on August 27, 2018
Adrien Durier ; Daniel Hirschkoff ; Davide Sangiorgi.
We study proof techniques for bisimilarity based on unique solution of equations. We draw inspiration from a result by Roscoe in the denotational setting of CSP and for failure semantics, essentially stating that an equation (or a system of equations) whose infinite unfolding never produces a […]
Published on August 7, 2019