activity
20212024
most citedTyped Non-determinism in Functional and Concurrent Calculi

3 citations · 4 across the 5 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2021

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version)

Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Type-preserving translations are effective rigorous tools in the study of core programming calculi. In this paper, we develop a new typed translation that connects sequential and c…