Maciej Bendkowski

28 papers B 3C 3Journal 21Unranked 1

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Automatic compile-time synthesis of entropy-optimal Boltzmann samplers. CoRR Maciej Bendkowski
2022	J	`jnl`	Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers. Comb. Probab. Comput. Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
2021	J	`jnl`	A note on the asymptotic expressiveness of ZF and ZFC. J. Log. Comput. Maciej Bendkowski
2020	J	`jnl`	How to generate random lambda terms? CoRR Maciej Bendkowski
2020	J	`jnl`	Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers. CoRR Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
2019	J	`jnl`	On the enumeration of closures and environments with an application to random generation. Log. Methods Comput. Sci. Maciej Bendkowski, Pierre Lescanne
2019	J	`jnl`	Statistical Properties of Lambda Terms. Electron. J. Comb. Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
2019	B	`conf`	Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus. FSCD Maciej Bendkowski
2018	C	`conf`	Combinatorics of Explicit Substitutions. PPDP Maciej Bendkowski, Pierre Lescanne
2018	J	`jnl`	Combinatorics of explicit substitutions. CoRR Maciej Bendkowski, Pierre Lescanne
2018	B	`conf`	Counting Environments and Closures. FSCD Maciej Bendkowski, Pierre Lescanne
2018	J	`jnl`	Counting Environments and Closures. CoRR Maciej Bendkowski, Pierre Lescanne
2018	—	`conf`	Polynomial tuning of multiparametric combinatorial samplers. ANALCO Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
2018	J	`jnl`	Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers. Theory Pract. Log. Program. Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
2018	J	`jnl`	Statistical properties of lambda terms. CoRR Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
2018	J	`jnl`	Towards the average-case analysis of substitution resolution in λ-calculus. CoRR Maciej Bendkowski
2017	C	`conf`	Boltzmann Samplers for Closed Simply-Typed Lambda Terms. PADL Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
2017	J	`jnl`	Combinatorics of $$\lambda$$-terms: a natural approach. J. Log. Comput. Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
2017	J	`jnl`	Normal-order reduction grammars. J. Funct. Program. Maciej Bendkowski
2017	J	`jnl`	On the likelihood of normalization in combinatory logic. J. Log. Comput. Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
2017	J	`jnl`	Polynomial tuning of multiparametric combinatorial samplers. CoRR Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
2016	B	`conf`	A Natural Counting of Lambda Terms. SOFSEM Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
2016	J	`jnl`	Combinatorics of λ-terms: a natural approach. CoRR Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
2016	J	`jnl`	Normal-order reduction grammars. CoRR Maciej Bendkowski
2016	J	`jnl`	On the likelihood of normalisation in combinatory logic. CoRR Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
2016	J	`jnl`	Random generation of closed simply-typed $λ$-terms: a synergy between logic programming and Boltzmann samplers. CoRR Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
2015	J	`jnl`	A natural counting of Lambda terms. CoRR Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
2015	C	`conf`	Asymptotic Properties of Combinatory Logic. TAMC Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc