[Keyword: Behavioural equivalence] AND [Book/Issue: Vol 913, Issue C] : Search

Applied Filters

People

Publications

Publication Date

Past 5 years

1 Results for: [Keyword: Behavioural equivalence] AND [Book/Issue: Vol 913, Issue C]Edit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,835,993 records)|Limit your search to The ACM Full-Text Collection (773,917 records)

Showing 1 - 1of1 Results

Select All

Export Citations Save to Binder

per page:

Recency

research-article
April 2022
Eager functions as processes
Theoretical Computer Science (TCSC), Volume 913, Issue CPages 8–42https://doi.org/10.1016/j.tcs.2022.01.043
Highlights

We present a fully abstract encoding of the lambda-calculus in the pi-calculus.
Abstract
We study Milner's encoding of the call-by-value λ-calculus into the π-calculus. We show that, by tuning the encoding to two subcalculi of the π-calculus (Internal π and Asynchronous Local π), the equivalence on λ-terms induced by the ...
0
Metrics
Total Citations0