Proof, Language, and Interaction

Foundations of Computing

Proof, Language, and Interaction

Essays in Honour of Robin Milner

Edited by Gordon Plotkin, Colin P. Stirling and Mads Tofte

Hardcover

$17.75

Hardcover

ISBN: 9780262161886

Pub date: May 8, 2000

Publisher: The MIT Press

736 pp., 7 x 9 in,

736 pp., 7 x 9 in,

  • Hardcover
  • 9780262161886
  • Published: May 2000
  • Publisher: The MIT Press

$17.75

Out of print