We study Milner's encoding of the call-by-value λ-calculus into the
π-ca...
We study Milner's encoding of the call-by-value λ-calculus into the
π-ca...
Proving secure compilation of partial programs typically requires
back-t...
We study proof techniques for bisimilarity based on unique solution of
e...