pauillac.inria.fr/~huet
Preview meta tags from the pauillac.inria.fr website.
Linked Hostnames
7- 2 links towww.academie-sciences.fr
- 1 link tosanskrit.inria.fr
- 1 link toscholar.google.fr
- 1 link towww.ae-info.org
- 1 link towww.genealogy.ams.org
- 1 link towww.idref.fr
- 1 link towww.inria.fr
General Meta Tags
6- titleThe personal page of Gérard Huet
- Content-Typetext/html; charset=utf-8
- authorGérard Huet
- copyright© Gérard Huet
- keywordscomputer,logic,types,lambda,ml,ocaml,coq,proofs,theory,lexicography,linguistics,sanskrit
Link Tags
1- stylesheethome.css
Links
8- http://sanskrit.inria.fr
- http://scholar.google.fr/citations?user=0kqdfWEAAAAJ&hl=en
- http://www.academie-sciences.fr/fr/Liste-des-membres-de-l-Academie-des-sciences-/-H/gerard-huet.html
- http://www.academie-sciences.fr/pdf/membre/HuetG_bio0509.pdf
- http://www.ae-info.org/ae/User/Huet_Gérard