Ilościowe aspekty złożoności obliczeniowej w rachunku lambda
Instytucja Finansująca / Przyznający: NCN
Tytuł: Ilościowe aspekty złożoności obliczeniowej w rachunku lambda
Kierownik: Maciej Bendkowski
Rozpoczęcie: 2017-03-14
Zakończenie: 2020-03-13
Uwagi: PRELUDIUM 11
| Publikacje |
|---|
| Maciej Bendkowski, Pierre Lescanne, On the enumeration of closures and environments with an application to random generation, Logical Methods in Computer Science vol. 15, Issue 4 (2019), 3:1–3:21 |
| Maciej Bendkowski, Olivier Bodini, Sergey Dovgal, Statistical Properties of Lambda Terms, Electronic Journal of Combinatorics vol. 26, Issue 4 (2019), 70 |
| Maciej Bendkowski, Towards the average-case analysis of substitution resolution in λ-calculus vol. Leibniz International Proceedings in Informatics (LIPIcs) (2019), "4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| Maciej Bendkowski, Pierre Lescanne, Combinatorics of explicit substitutions vol. PPDP '18 (2018), "Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming", Association for Computing Machinery (ACM) |
| Maciej Bendkowski, Pierre Lescanne, Counting Environments and Closures vol. Leibniz International Proceedings in Informatics (LIPIcs) (2018), "3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)", Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| Maciej Bendkowski, Olivier Bodini, Sergey Dovgal, Polynomial tuning of multiparametric combinatorial samplers, (2018), "2018 Proceedings of the Fifteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO)", Society for Industrial and Applied Mathematics (SIAM) |