- Hardcover: 594 pages
- Publisher: Cambridge University Press; 1 edition (October 30, 2009)
- Language: English
- ISBN-10: 0521518253
- ISBN-13: 978-0521518253
- Product Dimensions: 6.8 x 1.2 x 9.7 inches
- Shipping Weight: 2.9 pounds (View shipping rates and policies)
- Average Customer Review: Be the first to review this item
- Amazon Best Sellers Rank: #7,624,504 in Books (See Top 100 in Books)
Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.
To get the free app, enter your mobile phone number.
From Semantics to Computer Science: Essays in Honour of Gilles Kahn 1st Edition
Use the Amazon App to scan ISBNs and compare prices.
All Books, All the Time
Read author interviews, book reviews, editors picks, and more at the Amazon Book Review. Read it now
This volume of articles by leading computer scientists emphasises the achievements of Gilles Kahn, and examines the significance of his contributions to computer science. The authors also reflect upon the future development of information technology and the ways in which it will continue to affect other scientific disciplines.
About the Author
Yves Bertot is a Senior Researcher and Project Leader at the French National Institute for Research in Computer Science and Control (INRIA), Sophia Antipolis. Born in 1964, he received his Ph.D. from the University of Nice in 1991 and is co-author (with Pierre Castéran) of Coq'Art: The Calculus of Inductive Constructions (2004).
Gérard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.
Jean-Jacques Lévy is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.
Gordon Plotkin is a Professor in the School of Informatics at the University of Edinburgh.