Univalent Types, Sets and Multisets : Investigations in dependent type theory
Håkon Robbestad Gylterud · 2017
This thesis consists of four papers on type theory and a formalisation of certain results from the two first papers in the Agda language. We cover topics such as models of multisets and sets in Hom ...