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

Activity: Talk or presentation types › Invited talk

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

Documents & Links

  • qiits_lmu

    File: application/pdf, 2.36 MB

    Type: Text