
How to generate random lambda terms?
We survey several methods of generating large random lambdaterms, focus...
read it

Tuning as convex optimisation: a polynomial tuner for multiparametric combinatorial samplers
Combinatorial samplers are algorithmic schemes devised for the approxima...
read it

Towards the averagecase analysis of substitution resolution in λcalculus
Substitution resolution supports the computational character of βreduct...
read it

Statistical properties of lambda terms
We present a quantitative, statistical analysis of random lambda terms i...
read it

Combinatorics of explicit substitutions
λυ is an extension of the λcalculus which internalises the calculus of ...
read it

Counting Environments and Closures
Environments and closures are two of the main ingredients of evaluation ...
read it

Polynomial tuning of multiparametric combinatorial samplers
Boltzmann samplers and the recursive method are prominent algorithmic fr...
read it
Maciej Bendkowski
is this you? claim profile