13 citations · 54 across the 30 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 13 cited
Counting and Generating Terms in the Binary Lambda Calculus (Extended version)
Katarzyna Grygiel, Pierre Lescanne
In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences. In what follows, we study…
cs.LO2015
A natural counting of lambda terms
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne +1
We study the sequences of numbers corresponding to lambda terms of given sizes, where the size is this of lambda terms with de Bruijn indices in a very natural model where all the…