Stockholm Logic Seminar: "Inductive-inductive definitions in Intuitionistic Type Theory"

Activity: Talk or presentation typesInvited talk

Period11 Jun 2014
Held atStockholm University, Sweden