TY  - GEN
AU  - Amadio
AU  - Curien
TI  - Domains and lambda-calculi
T2  - Cambridge tracts in theoretical computer science
VL  - 46
SN  - 0521622778
PY  - 1998///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Langages de programmation
KW  - Mathématiques
KW  - Lambda-calcul
KW  - 004.16 Logique mathématique
ER  -