Nie jesteś zalogowany | Zaloguj się

Kierownik: prof. dr hab. Jerzy Tiuryn
Numer umowy: 8T11C 035 14
Data rozpoczęcia: 1 stycznia 1998
Data zakończenia: 31 grudnia 2000
Finansowany przez: Komitet Badań Naukowych
Wykonawcy: prof. dr hab. Jerzy Tiuryn, dr hab. Paweł Urzyczyn, mgr Marcin Benke, mgr Jacek Chrząszcz, mgr Grzegorz Grudziński, mgr Robert Maron, mgr Aleksy Schubert, mgr Daria Walukiewicz
Słowa kluczowe: teoria typów; rachunek lambda; programowanie funkcyjne; koercje; podtypy; polimorfizmy; typy intrsekcyjne i typy z uniami; przepisywanie termów; unifikacja

Logika stosowana i programowanie funkcyjne