Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary

First Page		Document Content
Date: 2014-07-25 10:12:01 Computability theory Process calculi Π-calculus Theory of computation Function Valuation Logarithm Μ operator Primitive recursive function Mathematics Theoretical computer science Functions and mappings		Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary Document is deleted from original location. Use the Download Button below to download from the Web Archive. Download Document from Web Archive File Size: 132,78 KB

Document is deleted from original location. Use the Download Button below to download from the Web Archive.