Intersection Types and Counting

Paweł Parys

We present a new approach to the following meta-problem: given a quantitative property of trees, design a type system such that the desired property for the tree generated by an in…