Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)

Gordon (Editor) Plotkin; Colin (Editor) Stirling; Mads (Editor) Tofte

ISBN 10: 0262161885 / ISBN 13: 9780262161886

Published by The MIT Press, New York

About this Item

Brand New! Electronic delivery tracking will be issued free of charge.

Seller Inventory # 03803

Bibliographic Details

• Title: Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
• Publisher: The MIT Press, New York
• Language: English
• ISBN 10: 0262161885
• ISBN 13: 9780262161886
• Binding: Hardcover
• Edition: First Edition.
• Condition: New
• Dust Jacket Condition: New
• Dimensions: 9.3W x 7.4H x 1.6D inches 9.3 inches width by 7.4 inches height by 1.6 inches depth
• Seller catalogs:
  • Computers & Internet: Computer Science: Artific...

About this title

Synopsis

This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.Contributors : Samson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, Gérard Berry, Lars Birkedal, Gérard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Gérard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saïbi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel.

About the Author

Mads Tofte is Vice Chancellor, IT University of Copenhagen.