Séance Séminaire

Logique Mathématique et Théorie des Ensembles

Thursday 16 February 2012 à -

Julianna Zsido (Université Montpellier 2)

Introduction au lambda-calcul