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

Author(s)

• Plotkin, G. (Gordon)
• Stirling, Colin P.
• Tofte, Mads
• Milner, R. (Robin)

Bibliographic Information

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

edited by Gordon Plotkin, Colin Stirling, and Mads Tofte

（MIT Press series in the foundations of computing）

MIT Press, c2000

• : hc

Note

Includes bibliographical references

Details

• NCID: BA47019560
• ISBN:
  • 0262161885
• LCCN: 99027800
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass.
• Pages/Volumes: xiv, 722 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.
  • DC21 : 004
• Subject Headings:
  • LCSH : Computer science
  • LCSH : Milner, R. (Robin), 1934-
• Parent Bibliography ID:
  • BA0001568X