Groupe de travail sur l'algèbre universelle et les lambda-théories

A l'occasion du séjour d'Antonino Salibra (Université Ca' Foscari, Venise) à PPS, nous organisons un groupe de travail informel pour qu'il nous présente, de façon approfondie, les méthodes algébriques qu'il a mises au point pour classifier les lambda-théories, les résultats qu'il a obtenus et les questions qui restent ouvertes.

• lundi 12 mars, 14h, salle 0D9: rappels d'algèbre universelle, lambda-abstraction algebras. Notes de cours: The building blocks of algebras.
• mardi 20 mars, 14h, salle 0D4: décomposabilité, algèbres de Church et incomplétude des classes de modèles continus, stables et fortement stables. Notes de cours: Central elements at work in lambda-calculus.
• mardi 27 mars, 14h, salle 0D7: order incompleteness.
• mardi 3 avril, 14h, salle 5C3: the structure of the lattice of lambda-theories.
• mardi 10 avril, 14h, salle 3E91: surprise!