Sciweavers

Share
SOFSEM
2016
Springer

A Natural Counting of Lambda Terms

3 years 13 days ago
A Natural Counting of Lambda Terms
We study the sequences of numbers corresponding to lambda terms of given sizes, where the size is this of lambda terms with de Bruijn
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lesca
Added 09 Apr 2016
Updated 09 Apr 2016
Type Journal
Year 2016
Where SOFSEM
Authors Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
Comments (0)
books