Speaker : Prof. Katarzyna Grygiel (Jagiellonian University)
Title : Lambda calculus terms: results and open problems
Time : 2017-07-07 (Fri) 15:00 -
Place : Seminar Room 722, Institute of Mathematics (NTU Campus)
Abstract: In recent years a growing attention has been given to structures originating from logic, in particular to lambda calculus terms and their properties. Several different combinatorial representations of such terms have been investigated and it turns out that the choice of a model influences not only enumeration results, but also the structure of random terms. In my talk I will present some results obtained so far, as well as difficulties encountered while dealing with still open problems.