Maciej Bendkowski
Original record- Institution
- Uniwersytet Jagielloński
- Year
- 2017
- Country
- Poland
- MGP identifier
- 225919
Dissertation: Quantitative aspects and generation of random lambda and combinatory logic terms.
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Marek ZaioncUniwersytet Warszawski · 1985
- Katarzyna GrygielUniwersytet Jagielloński · 2013
Students 0
No students recorded in this snapshot.