Академический Документы
Профессиональный Документы
Культура Документы
Gérard Huet
INRIA-Rocquencourt
BP 105, 78153 Le Chesnay CEDEX
France
Gerard.Huet@inria.fr