TY  - BOOK
AU  - AMADIO R.M. & CURIEN P.
TI  - DOMAINS AND LAMBDA-CALCULI
SN  - 0000521622778
U1  - 006.3 
PB  - CAMBRIDGE : CAMBRIDGE UNIVERSITY PRESS
KW  - Artififical Inteligent :Semantics : Programming Language
ER  -