Proof, language, and interaction : essays in honour of Robin Milner

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 .

9780262161886


Programming languages (Electronic computers)
Logic, symbolic and mathematical
Computer science

005.13 / PRO