Contributed talk TYPES 2024: "Extensional Finite Sets and Multisets in Type Theory"

Activity: Talk or presentation types › Oral presentation

Period13 Jun 2024
Event title30th International Conference on Types for Proofs and Programs
Event typeConference
LocationCopenhagen, DenmarkShow on map
Degree of RecognitionInternational

Documents & Links