Notice de personne
- Notice
000 cx a22 45
001 FRBNF151144014
005 20150224
010 .. $a 0000000048210059 $2 VIAF $d 20130805
100 .. $a 20061122afrey50 ba0
101 .. $a eng
102 .. $a XX
103 .. $a 19..
105 .. $a a
106 .. $a 1
120 .. $a b
152 .. $c 2
200 .| $7 ba0yba0y $8 fre $9 0 $a Filliâtre $b Jean-Christophe
300 0. $a En poste : LRI, Inria Futurs, LIX, Université Paris Sud, Orsay, Essonne (en 2006)
801 .. $a FR $b FR-751131015 $c 20150224
810 .. $a Types for proofs and programs / Jean-Christophe Filliâtre, Christine Paulin-Mohring,
Benjamin Werner (eds.), cop. 2006
