Travelled to:1 × Germany
2 × USA
Collaborated with:∅
Talks about:construct (2) comput (2) proof (2) algorithm (1) structur (1) principl (1) linguist (1) calculus (1) theorem (1) textual (1)
Person: Gérard P. Huet
DBLP: Huet:G=eacute=rard_P=
Contributed to:
2003
2001
1996
1986
1987Wrote 6 papers:
- PADL-2003-HuetC #algorithm #performance
- Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics (GPH), pp. 17–18.
- WCRE-2001-Huet #database #empirical #reverse engineering
- From an Informal Textual Lexicon to a Well-Structured Lexical Database: An Experiment in Data Reverse Engineering (GPH), pp. 127–135.
- RTA-1996-Huet #design #proving
- Design Proof Assistant (GPH), p. 153.
- CADE-1986-Huet #proving
- Mechanizing Constructive Proofs (GPH), p. 403.
- CADE-1986-Huet86a #proving #theorem proving
- Theorem Proving Systems of the Formel Project (GPH), pp. 687–688.
- AS-1987-Huet #calculus #induction
- Induction Principles Formalized in the Calculus of Constructions (GPH), pp. 276–286.