Book chapters details

Types and Logic, Concurrency and Non-Determinism

Sep 2014

Book title: Essays for the Luca Cardelli Fest

Publisher: Microsoft Research

Authors: Luis Caires

Editors:

Edition:

Series:

Volume:

ISBN:

Url: http://research.microsoft.com/apps/pubs/?id=226237

Notes:

Bibtex Key:

DOI: MSR-TR-2014-104

Pages: 69 to 84

Publication Date: 1 Sep 2014

Publication File: