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
| Uczestnik | Rola | Edycja |
|---|---|---|
| Katarzyna Grygiel | Wykonawca | |
| Pierre Lescanne | Wykonawca | |
| Maciej Bendkowski | Wykonawca | |
| Agnieszka Łupińska | Wykonawca | |
| Łukasz Lachowski | Wykonawca |
| Publikacje |
|---|
| Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc, Asymptotic properties of combinatory logic, Lecture Notes in Computer Science vol. 9076 (2013), 62-72 |
| Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, A natural counting of lambda terms, Lecture Notes in Computer Science vol. 9587 (2016), 183-194 |
| Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc, On the likelihood of normalisation in combinatory logic, Journal of Logic and Computation vol. Volume 27, Issue 7 (2017), 2251–2269 |
| Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, Combinatorics of λ-terms: a natural approach, Journal of Logic and Computation vol. Volume 27, Issue 8 (2017), 2611–2630 |