Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Instytucja Finansująca / Przyznający: NCN

Tytuł: Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Kierownik: Marek Zaionc

Rozpoczęcie: 2014-07-16

Zakończenie: 2017-07-15

Uwagi: Opus 6


Uczestnicy

UczestnikRolaEdycja
Katarzyna Grygiel Wykonawca
Pierre Lescanne Wykonawca
Agnieszka Łupińska Wykonawca
Maciej Bendkowski Wykonawca
Łukasz Lachowski Wykonawca