![From Semantics to Computer Science: Essays in Honour of Gilles Kahn](/mobify/caching/assets/product-image/large/9780521518253.jpg)
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
By
Yves Bertot (Contributor) Gerard Huet (Contributor) Jean-Jacques Levy (Contributor) Gordon Plotkin (Contributor)
Hardback
Available / dispatched within 1 - 2 weeks
Quantity
Description
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology. Worked examples or Exercises; 4 Tables, unspecified; 7 Halftones, unspecified
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 Casteran) of Coq'Art: The Calculus of Inductive Constructions (2004). Gerard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt. Jean-Jacques Levy 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.
More Details
- Contributor: Yves Bertot
- Imprint: Cambridge University Press
- ISBN13: 9780521518253
- Number of Pages: 594
- Packaged Dimensions: 180x254x30mm
- Packaged Weight: 1320
- Format: Hardback
- Publisher: Cambridge University Press
- Release Date: 2009-09-24
- Binding: Hardback
- Biography: 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 Casteran) of Coq'Art: The Calculus of Inductive Constructions (2004). Gerard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt. Jean-Jacques Levy 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.
Delivery Options
Home Delivery
Store Delivery
Free Returns
We hope you are delighted with everything you buy from us. However, if you are not, we will refund or replace your order up to 30 days after purchase. Terms and exclusions apply; find out more from our Returns and Refunds Policy.