Domains and Lambda Calculi
by Roberto Amadio and Pierre-Louis Curien
The book is published by Cambridge University Press.
Here are the
official reference
at CUP web site,
the
reference for the US,
and the Preface and Index in
postscript
and plain text.
A review
of the book by F. Cardone has appeared in
Science of Computer Programming, nr 35, 1999.
Another review by D.L. Chester, is appeared in Computing Reviews,
October 1999, page 460.
Mistakes in
the book we are aware of.
IMPORTANT: Please, note that the postscript is in gzipped format. If you
click on it, you should get some non-sense (the gzipped code). Save
the non-sense in a file (using the --save as-- command of your
browser), say foo.gz, and then gunzip it to get the postscript. If
you are interested in one or more chapter and you are willing to give
us some feedback please contact me, I can send you the chapter(s) by
e-mail in uuencoded form.