You are not logged in | Log in
Return to the list of grants

Formalization of naive type theory (doctoral dissertation grant)

Principal investigator
prof. dr hab. Paweł Urzyczyn
Contract number
N N206 358536
Starting date
May 21, 2009
Ending date
April 30, 2011
Financed by
Ministry of Science and Higher Education
Agnieszka Kozubek