Maciej Bendkowski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers Combinatorics, Probability and Computing	2023-03-31	Paper
Towards the average-case analysis of substitution resolution in \(\lambda\)-calculus (available as arXiv preprint)	2022-07-18	Paper
A note on the asymptotic expressiveness of ZF and ZFC Journal Of Logic And Computation	2021-11-09	Paper
Counting environments and closures	2021-06-15	Paper
How to generate random lambda terms?	2020-05-18	Paper
On the enumeration of closures and environments with an application to random generation (available as arXiv preprint)	2019-11-26	Paper
Statistical properties of lambda terms The Electronic Journal of Combinatorics	2019-10-14	Paper
Statistical properties of lambda terms The Electronic Journal of Combinatorics	2019-10-14	Paper
Polynomial tuning of multiparametric combinatorial samplers 2018 Proceedings of the Fifteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO)	2019-09-18	Paper
Towards the average-case analysis of substitution resolution in \lambda-calculus (available as arXiv preprint)	2018-12-11	Paper
Combinatorics of \(\lambda\)-terms: a natural approach Journal Of Logic And Computation	2018-11-20	Paper
Statistical properties of lambda terms (available as arXiv preprint)	2018-05-23	Paper
Combinatorics of explicit substitutions	2018-04-11	Paper
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers Theory and Practice of Logic Programming	2018-02-20	Paper
On the likelihood of normalization in combinatory logic Journal Of Logic And Computation	2018-02-13	Paper
Normal-order reduction grammars Journal of Functional Programming	2017-10-23	Paper
A natural counting of lambda terms Lecture Notes in Computer Science	2016-03-10	Paper
Asymptotic properties of combinatory logic Lecture Notes in Computer Science	2015-09-30	Paper

Research outcomes over time

This page was built for person: Maciej Bendkowski