Skip to ContentSkip to Navigation
Over ons Praktische zaken Waar vindt u ons J.W.N. (Joseph) Paulus, M

Publicaties

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

Termination in Concurrency, Revisited

Typed Non-determinism in Functional and Concurrent Calculi

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

A Deep Quantitative Type System

Non-Deterministic Functions as Non-Deterministic Processes

Lees meer