1 paper · 1 filter
Bart Jacobs, Michael Johnson, Richard Buckland
A multiset is a 'set' in which elements may occur multiple times. These structures are ideal for expressing the outcome of an election, for instance of the form 60 'yes' and 40 'no…