Marek Zaionc
Original record- Institution
- Uniwersytet Warszawski
- Year
- 1985
- Country
- Poland
- MGP identifier
- 60570
Dissertation: Term grammars in typed lambda calculus
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Stanisław WaligórskiInstitute of Mathematics, Polish Academy of Sciences · 1964
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Maciej Bendkowski | Uniwersytet Jagielloński | 2017 | 0 |
| Jaroslaw Duda | Uniwersytet Jagielloński | 2010 | 0 |
| Katarzyna Grygiel | Uniwersytet Jagielloński | 2013 | 1 |
| Jakub Kozik | Uniwersytet Jagielloński | 2006 | 1 |
| Małgorzata Moczurad | Uniwersytet Jagielloński | 2000 | 0 |