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 (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

• Autoreferat w języku polskim