**Speaker / Predavač**

**Pierre Lescanne, Ecole Normale Superieure de Lyon, France**

Prof. Lescanne's visit is within the project CoLoHA in the bilateral framework "Pavle Savic - Hubert Curien" between Serbia and France.

**Naslov / Title**

Quantitative aspects of linear and affine closed lambda terms

**Sažetak / Abstract**

Affine lambda-terms are lambda-terms in which each bound variable occurs at most once and linear lambda-terms are lambda-terms in which each bound variable occurs once and only once. In this this talk, I will say how we count the number of affine closed lambda-terms of size n, linear closed lambda-terms of size n, affine closed beta-normal forms of size n and linear closed beta-normal forms of size n, for several measures of the size of lambda-terms. From these formulas, we show how we can derive programs for generating all the terms of size n for each class. The foundation of all of this is a specific data structure, made of contexts in which one counts all the holes at each level of abstractions by lambda's.

**date/vreme**: 27/10/2017 10h

**venue/mesto**: SALI ZA SASTANKE, KULA FTN 3.SPRAT.