LMU Munich Oberseminar Mathematische Logik: "Mutual data types with equalities: quotient inductive-inductive types"

Activity: Talk or presentation typesInvited talk

Period30 Apr 2018
Held atLudwig-Maximilians Universität München, Germany