You are not logged in |
Return to the list of grants
Type theory for examination of program properties
- Principal investigator
- prof. dr hab. Paweł Urzyczyn
- Contract number
- N N206 355836
- Starting date
- May 25, 2009
- Ending date
- Nov. 24, 2011
- Financed by
- Ministry of Science and Higher Education
