You are not logged in | Log 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