Typed Non-determinism in Functional and Concurrent Calculi

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
26 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Typed Non-determinism in Functional and Concurrent Calculi'. Together they form a unique fingerprint.

Keyphrases

Mathematics

Computer Science

Agricultural and Biological Sciences