You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw
Return to the list of doctorates

Agnieszka Kozubek

A Formalization of the Naive Type Theory (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

Careers

Website

© 2024 University of Warsaw. All rights reserved.