2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Erdem Yildirim, Albert Schimpf, Stefan Wehr +1
In this paper we will construct a set-theoretic model of types featuring type variables, base types, set-theoretic types and map types. Syntax of map types spans all the map types…