Contributed talk AIM XXVI: "Quotient inductive-inductive types: initiality and induction"

Activity: Talk or presentation types › Oral presentation

Period31 Jan 2018
Event titleAgda Implementors' Meeting XXVI
Event typeWorkshop
LocationBudapest, HungaryShow on map