Tytuł projektu: Ilościowe aspekty złożoności obliczeniowej w rachunku lambda
Instytucja: Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Miasto: Kraków
Województwo: małopolskie
Kierownik projektu: dr Maciej Maria Bendkowski
Panel: ST6 (obszar: ST)
Liczba wykonawców: 3
Finansowanie: 98400 PLN
Okres realizacji: 2017-03-14 00:00:00 – 2020-03-13 00:00:00 (36 miesięcy)