TY  - BOOK
AU  - Amadio, Roberto M
AU  - Curien, P. -L
TI  - Domains and lambda-calculi
SN  - 9780521622776
SN  - 98212250
U1  - 511.3 AMA 
PY  - 1998///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Lambda calculus
KW  - Programming languages (Electronic computers) - Semantics
N1  - Includes bibliographical references (p. [469]-479) and index
ER  -