**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.