Intersection Types and Counting.

Pawel Parys
Published in: ITRS (2016)