dr Maciej Bendkowski

A note on the asymptotic expressiveness of ZF and ZFC, Journal of Logic and Computation vol. 31 (2021), 1598–1607

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

Statistical Properties of Lambda Terms, Electronic Journal of Combinatorics vol. 26, Issue 4 (2019), 70

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

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)

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

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)

Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplers, Theory and Practice of Logic Programming vol. 18(1) (2018), 97-119

Combinatorics of λ-terms: a natural approach, Journal of Logic and Computation vol. Volume 27, Issue 8 (2017), 2611–2630

Normal-order reduction grammars, Journal of Functional Programming vol. 27 (2017), 1-31

Boltzmann Samplers for Closed Simply-Typed Lambda Terms, Lecture Notes in Computer Science vol. 10137 (2017), 120-135

On the likelihood of normalisation in combinatory logic, Journal of Logic and Computation vol. Volume 27, Issue 7 (2017), 2251–2269

A natural counting of lambda terms, Lecture Notes in Computer Science vol. 9587 (2016), 183-194

Asymptotic properties of combinatory logic, Lecture Notes in Computer Science vol. 9076 (2013), 62-72

14th Workshop on Computational Logic and Applications, University of Versailles Saint-Quentin, Paryż, Republika Francuska, 2019-07-01 - 2019-07-02

International Conference on Formal Structures for Computation and Deduction, TU Dortmund, Dortmund, Republika Federalna Niemiec, 2019-06-24 - 2019-06-30

EUTypes WG Meeting, Aleksy Schubert, Warsaw University & Keiko Nakata, SAP SE, Kraków, Polska, 2019-02-23 - 2019-02-24

Third International Conference on Formal Structures for Computation and Deduction, ACM SIGLOG oraz ACM SIGPLAN, Oxford, Wielka Brytania, 2018-07-09 - 2018-07-12

9th Workshop on Higher-Order Rewriting, Université Paris 13, Sorbonne Paris Cité, Oxford, Wielka Brytania, 2018-07-07 - 2018-07-07

Analysis of Algorithms 2018, Uppsala Universitet, Uppsala, Szwecja, 2018-06-25 - 2018-06-29

11th Workshop on Computational Logic and Applications, Laboratoire d'Informatique de Paris-Nord oraz Laboratoire d'Informatique de Paris 6, Paryż, Francja, 2018-05-24 - 2018-05-25

Forum Informatyki Teoretycznej 2018, Zespół Katedr i Zakładów Informatyki Matematycznej, Wydział Matematyki i Informatyki, UJ, Kraków, Polska, 2018-05-11 - 2018-05-12

10th Workshop Computational Logic and Applications, Chalmers University of Technology, Göteborg, Szwecja, 2017-05-18 - 2017-05-19

Practical Aspects of Declarative Languages (PADL 2017), Universite Pierre et Marie Curie, Paryż, Francja, 2017-01-16 - 2017-01-17

9th Workshop Computational Logic and Applications, University of Novi Sad, Nowy Sad, Serbia, 2016-05-26 - 2016-05-27

Applications of Algebra XX, Institute of Mathematics and Computer Science of Jan Długosz University, Instytut Matematyki i Informatyki Akademii im. Jana Długosza w Częstochowie, Zakopane, Polska, 2016-03-07 - 2016-03-13

42nd International Conference on Current Trends in Theory and Practice of Computer Science, Institute of Computer Science Academy of Sciences of the Czech Republic, Harrachov, Republika Czeska, 2016-01-23 - 2016-01-28

12th Annual Conference on Theory and Applications of Models of Computation, School of Computing - National University of Singapore, Singapur, Singapur, 2015-05-18 - 2015-05-20

Computational Logic and Applications, Marek Zaionc (Jagiellonian University) and Pierre Lescanne (ENS de Lyon), Lyon, Francja, 2015-03-23 - 2015-03-24

Applications of Algebra in Logic and Computer Science, Instytut Matematyki i Informatyki Akademii im. Jana Długosza w Częstochowie, Zakopane, Polska, 2015-03-09 - 2015-03-15

Forum Informatyki Teoretycznej 2015, Department of Mathematics, Informatics and Mechanics of the University of Warsaw, Warszawa, Polska, 2015-01-30 - 2015-01-31

Research in Adaptive and Convergent Systems (RACS 2017), Kraków, 2017-09-20, 2017-09-23

Forum Informatyki Teoretycznej, Kraków, 2018-05-11, 2018-05-12

11th Workshop on Computational Logic and Applications, Paryż, 2018-05-24, 2018-05-25

14th Workshop on Computational Logic and Applications, Versailles, 2019-07-01, 2019-07-02

Forum Informatyki Teoretycznej, Kraków, 2019-09-06, 2019-09-07