Teaching
ESSLLI 2021 course materials
- Topic 2: Models, Types and Compositionality
- Topic 4: 𝛌-Calculus
- Topic 5: Quantification
- Additional topic: Intensionality
M1 TAL, UE 802, EC2: Langages formels (Formal languages) 2018-2019
Past exams:M2 TAL, UE 903, EC2: Sémantique Computationnelle (Computational Semantics)
2018-2019 Past exams:MPRI 2-27-1 : Structures Informatiques et Logiques pour la Modélisation Linguistique
2009- Lesson 5: slides handout
- Lesson 6: slides handout
- Lesson 7: slides handout
- Lesson 8: slides1 handout1 slides2 handout2
- Introduction
- Abstract Categorial Grammars (I)
- Abstract Grammars (II)
- Abstract Categorial Parsing
- Logical Formalisms
- Logical Semantics
- Dynamic Logic
2015 - 2016 2021 - 2022 Past exams: