KnowledgeBase » 
SEMINAR
» ID = 640
Set-theoretical models of type theory (cont.)
by Wojciech Moczydlowski
2004-2005
I will present the ideas from Peter Aczel's paper "On relating type theories and set theories" on constructing set-theoretical models for various type theories, which could be seen as approximations for type theories used in real-life provers, such as Coq and Nuprl.