Nie jesteś zalogowany |
Powrót do listy doktoratów
Jacek Chrząszcz
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 (Ecole Polytechnique, Palaiseau, Francja)
- Recenzenci
- dr hab. Jerzy Marcinkowski (Uniwersytet Wrocławski)
- prof. dr hab. Andrzej Szałas (University of Linköping, Szwecja)
- prof. Dave MacQueen (Bell Labs, USA)
- prof. Thierry Coquand (Chalmers University of Technology, Szwecja)
- Dokumenty
