Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science)

...
Author:  Marcelo P. Fiore
10 downloads 183 Views 1MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

DOWNLOAD DJVU

Recommend Documents

Cambridge University Press 978-0-521-07007-2 - Functional Programming and Input/Output Andrew D. Gordon Frontmatter Mor...
Affine Analysis of Image Sequences Distinguished Dissertations in Computer Science Edited by C.J. van Rijsbergen, Univ...
LOGIC PROGRAMMING: OPERATIONAL SEMANTICS AND PROOF THEORY Distinguished Dissertations in Computer Science Edited by CJ...
QUALIFIED TYPES: THEORY AND PRACTICE Distinguished Dissertations in Computer Science Edited by C. J. van Rijsbergen, ...
...
EFFICIENT ALGORITHMS FOR LISTING COMBINATORIAL STRUCTURES Distinguished Dissertations in Computer Science Edited by C...