Håkon Gylterud: Multisets
Time: Fri 2015-04-17 13.15 - 14.00
Location: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm University
Participating: Håkon Gylterud, SU
In this talk we will explore the principle of "Propositions as types" and apply it to set theory in order to give intuitions and axioms for multisets.