You are not logged 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
- Participants
- dr Daria Walukiewicz-Chrząszcz, dr Aleksy Schubert, dr Jacek Chrząszcz, mgr Michał Gajda, mgr Patryk Czarnik; mgr Jarosław Kuśmierek
