Joseph W. N. Paulus

According to our database, Joseph W. N. Paulus authored at least 8 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version).

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

Log. Methods Comput. Sci., 2023

Termination in Concurrency, Revisited.

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

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

Typed Non-determinism in Functional and Concurrent Calculi.

Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Functions as Processes: The Case of Collapsing Non-determinism.

Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez

CoRR, 2022

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

CoRR, 2021

Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes.

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

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Non-Deterministic Functions as Non-Deterministic Processes.

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

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

A Deep Quantitative Type System.

Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021