Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi. Functions as Processes: Termination and the lm[(m)/tilde]/lambda/mu/widetilde{/mu}-Calculus. In Martin Wirsing, Martin Hofmann, Axel Rauschmayer, editors, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Volume 6084 of Lecture Notes in Computer Science, pages 73-86, Springer, 2010. [doi]
Abstract is missing.