Pierre Lescanne
Jednostki:
Publikacje:
8.
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
7.
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)
6.
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
5.
Combinatorics of λ-terms: a natural approach, Journal of Logic and Computation vol. Volume 27, Issue 8 (2017), 2611–2630
4.
A natural counting of lambda terms, Lecture Notes in Computer Science vol. 9587 (2016), 183-194
3.
Katarzyna Grygiel, Pierre Lescanne
2.
Katarzyna Grygiel, Pierre Lescanne
Counting Terms in the Binary Lambda Calculus, Dmtcs Proceedings - 25th International Conference On Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms vol. DMTCS-HAL Proceedings Series (2014), 13
1.
Katarzyna Grygiel, Pierre Lescanne
Counting and generating lambda terms, Journal of Functional Programming vol. 23(5) (2013), 594-628
Granty (realizowane po maju 2009 roku)
| Tytuł | Rola | Rozpoczęcie | Zakończenie |
|---|---|---|---|
| Asymptotyczne metody w rachunku lambda i logice kombinatorycznej | Wykonawca | 2014-07-16 | 2017-07-15 |