Erik Palmgren: Survey of notions of models for dependent type theories
Tid: On 2012-09-26 kl 10.00 - 11.45
Plats: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
The notion of a model of Martin-Löf type theory, or more general dependent type theories, is fairly complicated and exists in several versions. We give a survey of some of the most important ones.