Lambda Calculus

I supervised a practical seminar (exercises) for the lecture of Jean Goubault Larrecq on Lambda Calculus at Master Parisien de Recherche en Informatique (MPRI), a common esearch-oriented Master programme in Computer Science between ENS Paris-Saclay. ENS Ulm, Institut Polytechnique de Paris, Université Paris-Cité, for 3 years, between 2003 and 2006 (36h/year).