Proof, language, and interaction : essays in honour of Robin Milner
Plotkin, Gordon ed.
Stirling, Colin ed.
Tofte, Mads ed.
text
London
The MIT Press
2000
monographic
eng
xiv,722p.; 24cm.
edited by Gordon Plotkin, Colin Stirling and Mads Tofte
Programming languages (Electronic computers)
Logic, symbolic and mathematical
Computer science
005.13 PRO
9780262161886
www.mitpress.mit.edu
www.mitpress.mit.edu
20260401140326.0