Séance Séminaire

Logique Mathématique et Théorie des Ensembles

jeudi 16 février 2012 à -

Julianna Zsido (Université Montpellier 2)

Introduction au lambda-calcul