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

• Autoreferat w języku polskim