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

Reasoning about programs using tools based on type theory

Principal investigator
prof. dr hab. Paweł Urzyczyn
Contract number
3 T11C 002 27
Starting date
Oct. 29, 2004
Ending date
Oct. 28, 2007
Financed by
State Committee for Scientific Research
dr Daria Walukiewicz-Chrząszcz, dr Aleksy Schubert, dr Jacek Chrząszcz, mgr Michał Gajda, mgr Patryk Czarnik; mgr Jarosław Kuśmierek