Håkon Robbestad Gylterud

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
A multiset consists of elements, but the notion of a multiset is distinguished from that of a set by carrying information of how many times each element occurs in a given multiset. In this work we will investigate the notion of iterative multisets, where multisets are iteratively built up from other multisets, in the context Martin-Löf Type Theory, in the(More)
  • 1