Matches in DBpedia 2016-04 for { ?s ?p "Gérard Pierre Huet (born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to Type Theory, Programming language theory and to the Theory of computation."@en }
Showing triples 1 to 4 of
4
with 100 triples per page.
- Gérard_Huet abstract "Gérard Pierre Huet (born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to Type Theory, Programming language theory and to the Theory of computation.".
- Q974366 abstract "Gérard Pierre Huet (born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to Type Theory, Programming language theory and to the Theory of computation.".
- Gérard_Huet comment "Gérard Pierre Huet (born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to Type Theory, Programming language theory and to the Theory of computation.".
- Q974366 comment "Gérard Pierre Huet (born 7 July 1947) is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to Type Theory, Programming language theory and to the Theory of computation.".