Contributed talk TYPES 2021: "Functorial Adapters"

Activity: Talk or presentation types › Oral presentation

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

Documents & Links