Contributed talk TYPES 2017: "Variations on inductive-recursive defnitions closed under composition"

Activity: Talk or presentation types › Oral presentation

Period31 May 2017
Event title23rd International Conference on Types for Proofs and Programs
Event typeConference
LocationBudapest, HungaryShow on map
Degree of RecognitionInternational