Maciej Bendkowski

most citedCombinatorics of

λ

-terms: a natural approach

6 citations · 7 across the 3 of their papers we have counts for

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2016★ 6 cited

Combinatorics of $λ$ -terms: a natural approach

Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne +1

We consider combinatorial aspects of $λ$ -terms in the model based on de Bruijn indices where each building constructor is of size one. Surprisingly, the counting sequence for $λ$ -t…

cs.LO2016

On the likelihood of normalisation in combinatory logic

Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc

We present a quantitative basis-independent analysis of combinatory logic. Using a general argument regarding plane binary trees with labelled leaves, we generalise the results of…

Combinatorics of λ-terms: a natural approach

On the likelihood of normalisation in combinatory logic

Combinatorics of $λ$ -terms: a natural approach