| LC control no. | n 98084169 |
|---|---|
| Personal name heading | Paulin-Mohring, Christine, 1962- |
| Variant(s) | Mohring, Christine Paulin- , 1962- |
| Found in | Internat. Workshop TYPES '96 (1996 : Aussois, France). Types for proofs and programs, c1998: CIP t.p. (Christine Paulin-Mohring) t.p. verso (LRI-Bat. 490, univ. Paris Sud, France) data sheet (b. 05/31/62) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
