Category: Type Theory Working Seminar

We are starting (in collaboration with LOS) a new working seminar which will provide an introduction to type theory, proof theory and related areas.