Maciej Bendkowski

Available identifiers

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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Maciej Bendkowski