2 citations · 6 across the 13 of their papers we have counts for
1 paper · 1 filter
Pablo Barenbaum, Gonzalo Ciruelos
In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the la…