A Natural Counting of Lambda Terms

8 years 8 months ago

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

SOFSEM 2016 | Theoretical Computer Science |

claim paper

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)