You are not logged 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
- Participants
- Agnieszka Kozubek
