G. Huet

• Construction, amélioration et vérification de programmes
• Logic, Algebra, and Computation
• Pour une politique rizicole nouvelle