Typed Non-determinism in Functional and Concurrent Calculi.

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

Browse the full APLAS paper archive.