Notice de personne
- Notice
000 cx a22 45
001 FRBNF119079379
005 20021023
010 .. $a 0000000119325321 $2 VIAF $d 20130724
039 .. $o OPL $a 000903992
100 .. $a 19760616afrey50 ba0
101 .. $a fre
102 .. $a FR
103 .. $a 19470707
105 .. $a a
106 .. $a 1
120 .. $a b
200 .| $7 ba0yba0y $8 fre $9 0 $a Huet $b Gérard $f 1947-.... $c informaticien
300 0. $a Docteur ès sciences mathématiques (Paris VI, 1976). - Directeur de recherches à l'Institut
national de recherche en informatique et automatique [INRIA] (en 1990). - Signe "Gérard"
ses publications en français et "Gérard P." ses publications en anglais
400 .| $7 ba0yba0y $8 fre $9 $a Huet $b Gérard Pierre $f 1947-....
801 .. $a FR $b FR-751131015 $c 20021023
810 .. $a Construction, amélioration de programmes / ed. G. Huet, G. Kahn, 1975 $a A Mechanization of type theory / Gérard P. Huet, 1973
