Shelfclass_id |
3.D.4 |
Sortkey |
AMADIO, ROBERTO M |
Authors |
Roberto M. Amadio, Pierre-Louis Curien |
Title |
Domains and Lambda-Calculi |
Publisher |
Cambridge University Press |
Year |
1998 |
Languages |
eng |
Isbn |
0521622778 |
Series |
Cambridge tracts in theoretical computer science |
Volume |
46 |
Description |
(hardback) xvi, 484 p. 24 cm |
Record date |
20060630 |
Location |
New York |
Keywords |
Lambda calculus, Programming languages (Electronic computers) |
Urlnote |
Table of contents |
Urls |
http://www.loc.gov/catdir/toc/cam027/98212250.html |