Exposés

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

Through the study of particular models, the Lambda Abstraction Algebras, Antonino Salibra has found a completeness criterion for classes of algebraic models of the λ-calculus that none of the usual classes respect, thus proving their incompleteness. We will present this result, then show that the categorical class of models built from the reflexive objects in MRel is also incomplete.