Speaker / Predavač : Prof. Pierre Lescanne
Title / Naslov: Counting lambda terms in the binary Lambda Calculus
Abstract / Abstrakt:
In his paper entitled Binary lambda calculus and combinatory logic, John Tromp presented a simple way of encoding lambda calculus terms as binary sequences. In my talk, I will study the number of binary strings of a given size that represent lambda terms.