@Inbook{Honda2014,
author="Honda, Kohei
and Yoshida, Nobuko
and Berger, Martin",
editor="Dowek, Gilles",
title="Process Types as a Descriptive Tool for Interaction",
bookTitle="Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings",
year="2014",
publisher="Springer International Publishing",
address="Cham",
pages="1--20",
abstract="We demonstrate a tight relationship between linearly typed $\pi$-calculi and typed $\lambda$-calculi by giving a type-preserving translation from the call-by-value $\lambda$$\mu$-calculus into a typed $\pi$-calculus. The $\lambda$$\mu$-calculus has a particularly simple representation as typed mobile processes. The target calculus is a simple variant of the linear $\pi$-calculus. We establish full abstraction up to maximally consistent observational congruences in source and target calculi using techniques from games semantics and process calculi.",
isbn="978-3-319-08918-8",
doi="10.1007/978-3-319-08918-8_1",
url="https://doi.org/10.1007/978-3-319-08918-8_1"
}