Contributed talk TYPES 2021: "Quantitative polynomial functors"

Activity: Talk or presentation types › Oral presentation

Period16 Jun 2021
Event title27th International Conference on Types for Proofs and Programs
Event typeConference
LocationLeiden, NetherlandsShow on map
Degree of RecognitionInternational