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.