Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
2013/11/B/ST6/00975
Słowa kluczowe
Deskryptory
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST1_14: Kombinatoryka
- ST1_15: Matematyczne aspekty informatyki
Panel
ST6 – Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
woj. małopolskie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 5
Konkurs
OPUS 6 – ogłoszony 2013-09-16
- Przyznana kwota
- 571 600 PLN
- Rozpoczęcie projektu
- 2014-07-16
- Zakończenie projektu
- 2017-07-15
- Planowany czas trwania projektu
- 36 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Laptop. Za kwotę 219 PLN
- Monitor do laptopa.
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (4)
-
Normal-order reduction grammars
- Autorzy:
- Maciej Bendkowski
- Czasopismo:
- JOURNAL OF FUNCTIONAL PROGRAMMING (rok: 2017, tom: 27, strony: 46053), Wydawca: Cambridge University Press
- Status:
- Opublikowana
- DOI:
- 10.1017/S0956796816000332 – link do publikacji
-
Counting and generating terms in the binary lambda calculus
- Autorzy:
- Katarzyna Grygiel, Pierre Lescanne
- Czasopismo:
- Journal of Functional Programming (rok: 2015, tom: 25, strony: 25), Wydawca: Cambridge Univ. Press
- Status:
- Opublikowana
- DOI:
- 10.1017/S0956796815000271 – link do publikacji
-
Combinatorics of λ-terms: a natural approach
- Autorzy:
- Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
- Status:
- Przyjęta do publikacji
-
On the likelihood of normalisation in combinatory logic
- Autorzy:
- Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
- Status:
- Przyjęta do publikacji
Teksty w publikacjach pokonferencyjnych (3)
-
Boltzmann Samplers for Closed Simply-Typed Lambda Terms
- Autorzy:
- Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
- Konferencja:
- Practical Aspects of Declarative Languages 2017 (PADL 2017) (rok: 2017, strony: 120-135), Wydawca: Springer, Lecture Notes in Computer Science (LNCS) 10137
- Data:
- konferencja 16-17 stycznia 2017
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
Asymptotic properties of combinatory logic
- Autorzy:
- Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
- Konferencja:
- 12th Annual Conference on Theory and Applications of Models of Computation (rok: 2015, strony: 62-72), Wydawca: Springer
- Data:
- konferencja Maj 18-20
- Status:
- Opublikowana
- DOI:
- link do publikacji
-
A natural counting of lambda terms
- Autorzy:
- Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc,
- Konferencja:
- 42nd International Conference on Current Trends in Theory and Practice of Computer Science (rok: 2016, strony: 183-194), Wydawca: Springer
- Data:
- konferencja 23-28 styczeń
- Status:
- Opublikowana
- DOI:
- link do publikacji