11 citations · 13 across the 3 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…