Activities per year
- 1 results
Search results
-
Contributed talk TYPES 2024: "Extensional Finite Sets and Multisets in Type Theory"
Nordvall Forsberg, F. (Contributor), Watters, S. (Speaker) & Kupke, C. (Contributor)
13 Jun 2024Activity: Talk or Presentation › Oral presentation