MPG.eBooks - Search Results - "Gérard Huet"

Search alternatives:
gerard huet » gerard et , gerard hughes , gerard gaudet

Cover Image

1

Sanskrit Computational Linguistics : Third International Symposium, Hyderabad, India, January 15-17, 2009. Proceedings

Published 2009

Springer Berlin Heidelberg

Cover Image

2

Sanskrit Computational Linguistics : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008, Revised Selected Papers

Published 2009

Springer Berlin Heidelberg

Cover Image

3

Proof, language, and interaction : essays in honour of Robin Milner

by Plotkin, G.
Published 2000

MIT Press

“... Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Gérard Huet, Paul...”