Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide Eager functions as processes. (English) Zbl 1452.03044 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 364-373 (2018). Cited in 3 Documents MSC: 03B40 Combinatory logic and lambda calculus Keywords:call-by-value; full abstraction; lambda-calculus; pi-calculus PDFBibTeX XMLCite \textit{A. Durier} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 364--373 (2018; Zbl 1452.03044) Full Text: DOI arXiv HAL