Extensional Finite Sets and Multisets in Type Theory
Sean Watters published on
0 min,
0 words
Categories: Talk Conference