10 citations · 16 across the 4 of their papers we have counts for
Showing 2016Show 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…