Zhaohui Luo

Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories

2015

In this paper we revisit the issue of copredication from the perspective of modern type theories. Specifically, we look at: a) the counting properties of dot-types, and b) the case of a complex dot-type that …