Nie jesteś zalogowany |
Powrót do listy doktoratów
Agnieszka Kozubek
A Formalization of the Naive Type Theory (A Formalization of the Naive Type Theory)
- Afiliacja
- Uniwersytet Warszawski
- W zakresie
- informatyki
- Data nadania
- 14 czerwca 2012
- Promotor
- prof. dr hab. Paweł Urzyczyn
- Recenzenci
- prof. Zhaohui Luo (University of London)
- dr hab. Aleksy Schubert (Uniwersytet Warszawski)
- Dokumenty
