Małgorzata Moczurad
Original record- Institution
- Uniwersytet Jagielloński
- Year
- 2000
- Country
- Poland
- MGP identifier
- 60598
Dissertation: Syntactic methods of proving properties of typed lambda calculus
Advisor 1
- Marek ZaioncUniwersytet Warszawski · 1985
Students 0
No students recorded in this snapshot.