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 (778 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

GET 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

GET 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

GET 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: 550
Authors: Bart Jacobs
Categories: Computers
Type: BOOK - Published: 2016-03-22 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which to
Domains and Lambda-Calculi
Language: en
Pages: 504
Authors: Roberto M. Amadio
Categories: Computers
Type: BOOK - Published: 1998-07-02 - Publisher: Cambridge University Press

GET EBOOK

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.