research
∙
08/02/2023
Termination in Concurrency, Revisited
Termination is a central property in sequential programming models: a te...
share
research
∙
05/02/2022
Functions as Processes: The Case of Collapsing Non-determinism
This paper studies typed translations of λ-calculi into π-calculi, both ...
research
∙
12/02/2021
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version)
Type-preserving translations are effective rigorous tools in the study o...
research
∙
04/30/2021