Powrót do listy of Promotor
Jacek Chrząszcz
Modules in Type Theory with Generative Definitions (Modules in Type Theory with Generative Definitions)
- Afiliacja
- Uniwersytet Warszawski
- W zakresie
- informatyki
- Data nadania
- 26 lutego 2004
- Promotorzy
- prof. dr hab. Paweł Urzyczyn
- prof. Jean Pierre Jounnaud
- Recenzenci
- dr hab. Jerzy Marcinkowski
- prof. dr hab. Andrzej Szałas
- prof. Dave MacQueen
- prof. Thierry Coquand
- Dokumenty