TY  - BOOK
AU  - Amadio, Roberto M.
AU  - Curien, Pierre-Louis.
TI  - Domains and Lambda-Calculi (CTTCS : 46)
SN  - 0 521 62277 8
CY  - Cambridge
KW  - Domains
KW  - Lambda-Calculi
ER  -