TY  - BOOK
AU  - Yves Bertot
TI  - From semantics to computer science: Essays in honour of Gilles Kahn 
SN  - 0521518253
U1  - 401.43 BER/F 
PY  - 2009///
CY  - New York
PB  - Cambridge University Press
KW  - Computer science
KW  - COMPUTER SCIENCE
KW  - INFORMATION TECHNOLOGY
KW  - SEMANTICS
ER  -