research
∙
08/02/2023
Termination in Concurrency, Revisited
Termination is a central property in sequential programming models: a te...
share
research
∙
03/22/2023
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications
This volume contains the post-proceedings of the Seventeenth Logical and...
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
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
We study encodings of the lambda-calculus into the pi-calculus in the un...
research
∙
02/22/2019
On Nominal Syntax and Permutation Fixed Points
We propose a new axiomatisation of the alpha-equivalence relation for no...
research
∙
09/15/2017
