TY  - BOOK
AU  - Andrew M. Pitts,Peter No Dybjer
AU  - Dybjer,Peter
TI  - SEMANTICS AND LOGICS OF COMPUTATION
SN  - 0521580579
U1  - 004.015113 
PY  - 1997///
CY  - 
PB  - Cambridge Univ. Press, Cambridge
KW  - Electronic Data Processing
KW  - Programming Languages (Electronic Computer Semantics)
KW  - Logic, Symbolic And Mathematical
ER  -