Nie jesteś zalogowany |
Powrót do listy grantów
Teoria typów w badaniach własności programów
- Kierownik
- prof. dr hab. Paweł Urzyczyn
- Numer umowy
- N N206 355836
- Data rozpoczęcia
- 25 maja 2009
- Data zakończenia
- 24 listopada 2011
- Finansowany przez
- Ministerstwo Nauki i Szkolnictwa Wyższego
- Słowa kluczowe
- teoria typów, polimorfizm, logika intuicjonistyczna, systemy wspomagające dowodzenie, typy zależne
