Jacek Chrząszcz

Modules in Type Theory with Generative Definitions (Modules in Type Theory with Generative Definitions)

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

Feb. 26, 2004

Supervisors

• prof. dr hab. Paweł Urzyczyn
• prof. Jean Pierre Jounnaud (Ecole Polytechnique, Palaiseau, Francja)

Reviewers

• 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)

Documents

• Summary in Polish