00744nam a22002297a 4500 20260401140326.0 9780262161886 eng 23rd. 005.13 PRO Proof, language, and interaction : essays in honour of Robin Milner edited by Gordon Plotkin, Colin Stirling and Mads Tofte London The MIT Press 2000 xiv,722p.; 24cm. Foundations of computing series Programming languages (Electronic computers) Logic, symbolic and mathematical Computer science Plotkin, Gordon ed. Stirling, Colin ed. Tofte, Mads ed. www.mitpress.mit.edu BK 0 0 0 0 LING NEHU NEHU GEN 2026-04-01 0 005.13 PRO 206667 2026-04-01 14:01:58 2026-04-01 BK 184579 184578