Domains and lambda-calculi Roberto M. Amadio, Pierre-Louis Curien

By:

Contributor(s):

Publication details: Cambridge Cambridge University Press 1998Edition: 1st edDescription: xvi, 484 p. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 AMA (Browse shelf(Opens below))	Available		247883

Previous			No cover image available				No cover image available	Next
Previous	511.3 ADA A primer of probability logic	511.3 ALL Numbers and proofs	511.3 ALL Logical reasoning with diagrams	511.3 AMA Domains and lambda-calculi	511.3 AND Logic Colloquium 2004 : proceedings of the annual European summer meeting of the association for symbolic logic, held in Torino, Italy, July 25-31, 2004	511.3 AND Logic, meaning, and computation : essays in memory of Alonzo church	511.3 ANT Nonmonotonic reasoning	Next

Includes bibliographical references (p. [469]-479) and index

There are no comments on this title.

to post a comment.

Find us on the map