Types and Logic, Concurrency and Non-Determinism

245 views

Microsoft Research

8 years ago

Types and Logic, Concurrency and Non-Determinism

Types and Logic, Concurrency and Non-Determinism