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

A proof assistant for large applications based on the Calculus of Constructions ( doctoral dissertation grant )

Principal investigator
prof. dr hab. Paweł Urzyczyn
Contract number
4T11C 023 22
Starting date
March 1, 2002
Ending date
Aug. 31, 2003
Financed by
State Committee for Scientific Research
mgr Jacek Chrząszcz