Projekty finansowane przez NCN
Wyniki wyszukiwania
Znaleziono 2 projektów spełniających kryteria wyszukiwania:
-
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
-
Efekty algebraiczne: kompozycja i koindukcja
Konkurs: SONATA 14 , panel: ST6
Kierownik: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki