Ilościowe aspekty złożoności obliczeniowej w rachunku lambda
2016/21/N/ST6/01032
Słowa kluczowe
Deskryptory
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
- ST1_1: Logika i podstawy matematyki
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: 3
Konkurs
PRELUDIUM 11 – ogłoszony 2016-03-15
- Przyznana kwota
- 98 400 PLN
- Rozpoczęcie projektu
- 2017-03-14
- Zakończenie projektu
- 2020-03-13
- Planowany czas trwania projektu
- 36 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Opis projektu
Pobierz opis projektu w formacie .pdf
Uwaga — opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (3)
-
Statistical Properties of Lambda Terms
- Autorzy:
- Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
- Czasopismo:
- Electronic Journal of Combinatorics (rok: 2019, tom: 26, strony: 1--70), Wydawca: nie dotyczy
- Status:
- Opublikowana
- DOI:
- 10.37236/8491 – link do publikacji
-
On the enumeration of closures and environments with an application to random generation
- Autorzy:
- Maciej Bendkowski, Pierre Lescanne
- Czasopismo:
- Logical Methods in Computer Science (rok: 2019, tom: 15, strony: 3:1--3:21), Wydawca: nie dotyczy
- Status:
- Opublikowana
- DOI:
- 10.23638/LMCS-15(4:3)2019 – link do publikacji
-
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
- Autorzy:
- Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
- Status:
- Przyjęta do publikacji
Teksty w publikacjach pokonferencyjnych (4)
-
Towards the average-case analysis of substitution resolution in lambda-calculus
- Autorzy:
- Maciej Bendkowski
- Konferencja:
- 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) (rok: 2019, strony: 7:1--7:21), Wydawca: Leibniz International Proceedings in Informatics (LIPIcs) (2019)
- Data:
- konferencja 24-30.06.2019
- Status:
- Opublikowana
-
Combinatorics of Explicit Substitutions
- Autorzy:
- Maciej Bendkowski, Pierre Lescanne
- Konferencja:
- 20th International Symposium on Principles and Practice of Declarative Programming (rok: 2018, strony: 7:1--7:12), Wydawca: ACM
- Data:
- konferencja 03.09.2018-05.09.2018
- Status:
- Opublikowana
-
Polynomial tuning of multiparametric combinatorial samplers
- Autorzy:
- Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
- Konferencja:
- Fifteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO) (rok: 2018, strony: 92-106), Wydawca: Society for Industrial and Applied Mathematics (SIAM)
- Data:
- konferencja 08-09.01.2018
- Status:
- Opublikowana
-
Counting Environments and Closures
- Autorzy:
- Maciej Bendkowski, Pierre Lescanne
- Konferencja:
- Third International Conference on Formal Structures for Computation and Deduction (rok: 2018, strony: 46035), Wydawca: Leibniz International Proceedings in Informatics
- Data:
- konferencja 09-12.07.2018
- Status:
- Opublikowana