Agnieszka Kozubek

A Formalization of the Naive Type Theory

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

June 14, 2012

Supervisor

• prof. dr hab. Paweł Urzyczyn

Reviewers

• prof. Zhaohui Luo (University of London)
• dr hab. Aleksy Schubert (Uniwersytet Warszawski)

Documents

• Summary in Polish
• Thesis