TY  - BOOK
AU  - Plotkin, Gordon  ed.
AU  - Stirling, Colin  ed.
AU  - Tofte, Mads  ed.
TI  - Proof, language, and interaction : essays in honour of Robin Milner
T2  - Foundations of computing series
SN  - 9780262161886
U1  - 005.13 23rd.
PY  - 2000///
CY  - London
PB  - The MIT Press
KW  - Programming languages (Electronic computers)
KW  - Logic, symbolic and mathematical
KW  - Computer science
UR  - www.mitpress.mit.edu
ER  -