Maciej Bendkowski

Available identifiers

zbMath Open bendkowski.maciejMaRDI QIDQ2327213

List of research outcomes

Publication	Date of Publication	Type
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers	2023-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5089006	2022-07-18	Paper
A note on the asymptotic expressiveness of ZF and ZFC	2021-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4993337	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	2019-11-26	Paper
Statistical properties of lambda terms	2019-10-14	Paper
Polynomial tuning of multiparametric combinatorial samplers	2019-09-18	Paper
Towards the average-case analysis of substitution resolution in $\lambda$-calculus	2018-12-11	Paper
Combinatorics of $\lambda$-terms: a natural approach	2018-11-20	Paper
Statistical properties of lambda terms	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	2018-02-20	Paper
On the likelihood of normalization in combinatory logic	2018-02-13	Paper
Normal-order reduction grammars	2017-10-23	Paper
A Natural Counting of Lambda Terms	2016-03-10	Paper
Asymptotic Properties of Combinatory Logic	2015-09-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maciej Bendkowski