Gerard Huet
Gerard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt.
Gerard Huet is a Director of Research at the French National Institute for Research in Computer Science and Control (INRIA), Rocquencourt. See less
Gerard Huet's Featured Books
