Exposés

14:00: Thomas Leventis, Incompleteness of classes of models of the λ-calculus (suite)