`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:

### Wrote 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.