You are not logged 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
- Participants
- mgr Jacek Chrząszcz
