La vidéo sera disponible prochainement.
10:00 - 11:00am
Lecture
Natural deduction and models
Thierry Coquand
10:00 - 11:00am
Lecture outline :
- Curry-Howard ;
- gentzen's natural deduction ;
- inductive definitions following Martin-Löf ;
- algebraic presentation of type theory and term model as initial model ;
- some examples of models, in particular the set model and prefix models.
