Groupe de travail, 21 mars 2013
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.