From Semantics to Computer Science: Essays in Honour of Gilles Kahn

Bertot, Yves (Editor)/ Huet, Gerard (Editor)/ Levy, Jean-Jacques (Editor)/ Plotkin, Gordon (Editor)

ISBN 10: 0521518253 / ISBN 13: 9780521518253

Edité par Cambridge University Press, 2009

A propos de cet article

1st edition. 574 pages. 9.75x7.25x1.00 inches. In Stock. This item is printed on demand.

N° de réf. du vendeur __0521518253

Détails bibliographiques

• Titre: From Semantics to Computer Science: Essays in Honour of Gilles Kahn
• Éditeur: Cambridge University Press
• Date de parution: 2009
• Langue: anglais
• ISBN à 10 chiffres: 0521518253
• ISBN à 13 chiffres: 9780521518253
• Reliure: Hardcover
• État de l'article: Brand New

A propos de ce titre

Synopsis

Examines the significance of Gilles Kahn's contribution to computer science and reflects upon the future development of information technology.

À propos des auteurs

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.