TY  - BOOK
AU  - Dybjer, Peter
AU  - Pitts, A. M
TI  - Semantics and logics of computation
SN  - 9780521580571
SN  - 96050390
U1  - 004.0151 PIT 
PY  - 1997///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Electronic data processing
KW  - Logic, Symbolic and mathematical
KW  - Programming languages (Electronic computers) - Semantics
N1  - Includes bibliographical references and index
ER  -