Domains and lambda-calculi
By: Amadio, Roberto M.
Contributor(s): Curien, Pierre-Louis.
Material type:
BookSeries: Cambridge tracts in theoretical computer science.Publisher: Cambridge: Cambridge University Press, 2008Description: xvi, 484 p.; : 23 cm.ISBN: 9780521062923 .Subject(s): Lambda calculus | Programming languages (Electronic computers) -- SemanticsDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 AMA (Browse shelf) | Available | 020990 |
There are no comments for this item.