Tools

LEADER 01510cam 22004334a 4500

001 ocm41944560;

003 OCoLC;

005 20141212144746.0;

008 990713s2000 maua b 000 0 eng ;

010 a| 99027800;

015 a| GBA0-48614;

019 a| 44603841;

020 a| 0262161885 (hc : alk. paper);

035 a| (Sirsi) o41944560;

035 a| (OCoLC)41944560;

042 a| pcc;

049 a| EREE;

050 00 a| QA76b| P699 2000;

082 00 a| 0042| 21;

245 00 a| Proof, language, and interaction :b| essays in honour of Robin Milner /c| edited by Gordon Plotkin, Colin Stirling, and Mads Tofte.;

260 a| Cambridge, Mass. :b| MIT Press,c| 2000.;

300 a| xiv, 722 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Foundations of computing;

504 a| Includes bibliographical references.;

600 10 a| Milner, R.q| (Robin),d| 1934-2010.=| ^A262994;

650 0 a| Computer science.=| ^A267953;

700 1 a| Plotkin, G.q| (Gordon),d| 1946-=| ^A187057;

700 1 a| Stirling, Colin P.=| ^A465617;

700 1 a| Tofte, Mads.=| ^A262996;

700 1 a| Milner, R.q| (Robin),d| 1934-2010.=| ^A262994;

830 0 a| Foundations of computing.=| ^A255155;

994 a| E0b| ERE;

596 a| 1;

998 a| 776107;

999 a| QA76 .P699 2000w| LCc| 1i| 30372011064190d| 2/8/2013f| 2/8/2013g| 1l| JGESm| JOYNERp| $70.00r| Ys| Yt| JGESBKu| 11/30/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin Stirling, and Mads Tofte.

Format	Book
Publication Info	Cambridge, Mass. : MIT Press, 2000.
Description	xiv, 722 pages : illustrations ; 24 cm.
Subjects	Milner, R. (Robin), 1934-2010. Computer science.

Other author/creator	Plotkin, G. (Gordon), 1946-
Other author/creator	Stirling, Colin P.
Other author/creator	Tofte, Mads.
Other author/creator	Milner, R. (Robin), 1934-2010.
Series	Foundations of computing Foundations of computing. ^A255155
Bibliography note	Includes bibliographical references.
LCCN	99027800
ISBN	0262161885 (hc : alk. paper)

Proof, language, and interaction : essays in honour of Robin Milner / edited by Gordon Plotkin, Colin Stirling, and Mads Tofte.

Click here for more information about this title