A Deep Quantitative Type System. - Giulio Guerrieri; Willem B. Heijltjes; Joseph W. N. Paulus (CSL, 2021)

Non-Deterministic Functions as Non-Deterministic Processes. - Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (FSCD, 2021)

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. - Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (TYPES, 2021)

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version). - Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (CoRR, 2021)

Functions as Processes: The Case of Collapsing Non-determinism. - Bas van den Heuvel 001; Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (CoRR, 2022)

Typed Non-determinism in Functional and Concurrent Calculi. - Bas van den Heuvel 001; Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (APLAS, 2023)

Termination in Concurrency, Revisited. - Joseph W. N. Paulus; Jorge A. Pérez 001; Daniele Nantes-Sobrinho (PPDP, 2023)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). - Joseph W. N. Paulus; Daniele Nantes-Sobrinho; Jorge A. Pérez 001 (Log. Methods Comput. Sci., 2023)

Typed Non-determinism in Concurrent Calculi: The Eager Way. - Bas van den Heuvel 001; Daniele Nantes-Sobrinho; Joseph W. N. Paulus; Jorge A. Pérez 001 (CoRR, 2024)