Nie jesteś zalogowany | Zaloguj się

Kierownik: prof. dr hab. Paweł Urzyczyn
Numer umowy: N N206 358536
Data rozpoczęcia: 21 maja 2009
Data zakończenia: 30 kwietnia 2011
Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Wykonawcy: Agnieszka Kozubek
Słowa kluczowe: teoria typów, podstawy matematyki, Pure Type Systems, izomorfizm Curry'ego-Howarda

Formalizacja naiwnej teorii typów (promotorski)