Related Books
Language: en
Pages: 260
Pages: 260
Type: BOOK - Published: 2004-03-25 - Publisher: Cambridge University Press
First systematic account of axiomatic categorical domain theory and functional programming.
Language: en
Pages: 328
Pages: 328
Type: BOOK - Published: 1997-08-20 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Lig
Language: en
Pages: 623
Pages: 623
Type: BOOK - Published: 2006-06-26 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006.
Language: en
Pages: 550
Pages: 550
Type: BOOK - Published: 2016-03-22 - Publisher: Springer
This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which to
Language: en
Pages: 504
Pages: 504
Type: BOOK - Published: 1998-07-02 - Publisher: Cambridge University Press
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.