Oberseminar Mathematische Logik: “Inductive-inductive definitions in dependent type theory”

Activity: Talk or presentation types › Invited talk

Period11 Jul 2012
Held atLudwig-Maximilians-Universität München, Germany