112 citations · 260 across the 19 of their papers we have counts for
1 paper · 1 filter
Catalin Hritcu, Jan Schwinghammer
Step-indexed semantic interpretations of types were proposed as an alternative to purely syntactic proofs of type safety using subject reduction. The types are interpreted as sets…