Contributed talk AIM XXV: "Variations on inductive-recursive defnitions"

Activity: Talk or presentation types › Oral presentation

Period12 May 2017
Event titleAgda Implementors' Meeting XXV
Event typeWorkshop
LocationGothenburg, SwedenShow on map
Degree of RecognitionInternational