Ying Jiang
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 103514
Dissertation: Consistance et inconsistance de théories de lambda-calcul étendus
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Chantal BerlineUniversité Paris Diderot - Paris 7 · 1982
Students 0
No students recorded in this snapshot.