Date: 2014-07-25 10:12:01Computability 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, binaryDocument 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
|