Axiomatic Domain Theory in Categories of Partial Maps

Axiomatic Domain Theory in Categories of Partial Maps
Author :
Publisher : Cambridge University Press
Total Pages : 260
Release :
ISBN-10 : 0521602777
ISBN-13 : 9780521602778
Rating : 4/5 (77 Downloads)

Book Synopsis Axiomatic Domain Theory in Categories of Partial Maps by : Marcelo P. Fiore

Download or read book Axiomatic Domain Theory in Categories of Partial Maps written by Marcelo P. Fiore and published by Cambridge University Press. This book was released on 2004-03-25 with total page 260 pages. Available in PDF, EPUB and Kindle. Book excerpt: First systematic account of axiomatic categorical domain theory and functional programming.


Axiomatic Domain Theory in Categories of Partial Maps Related Books

Axiomatic Domain Theory in Categories of Partial Maps
Language: en
Pages: 260
Authors: Marcelo P. Fiore
Categories: Computers
Type: BOOK - Published: 2004-03-25 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

First systematic account of axiomatic categorical domain theory and functional programming.
Category Theory and Computer Science
Language: en
Pages: 328
Authors: Eugenio Moggi
Categories: Computers
Type: BOOK - Published: 1997-08-20 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Lig
Logical Approaches to Computational Barriers
Language: en
Pages: 623
Authors: Arnold Beckmann
Categories: Computers
Type: BOOK - Published: 2006-06-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006.
Foundations of Software Science and Computation Structures
Language: en
Pages: 548
Authors: Bart Jacobs
Categories: Computers
Type: BOOK - Published: 2016-03-22 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which to
Typed Lambda Calculi and Applications
Language: en
Pages: 420
Authors: Philippe de Groote
Categories: Computers
Type: BOOK - Published: 1997-03-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, held in Nancy, France,