Tytuł projektu: Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Instytucja: Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Miasto: Kraków
Województwo: małopolskie
Kierownik projektu: prof. Marek Zaionc
Panel: ST6 (obszar: ST)
Liczba wykonawców: 5
Finansowanie: 571600 PLN
Okres realizacji: 2014-07-16 00:00:00 – 2017-07-15 00:00:00 (36 miesięcy)