@Inproceedings{EPTCS293.2, author = {Parys, Pawe{\l}}, year = {2019}, title = {Intersection Types for Unboundedness Problems}, editor = {Pagani, Michele and Alves, Sandra}, booktitle = {{\rm Proceedings Twelfth Workshop on} Developments in Computational Models {\rm and Ninth Workshop on} Intersection Types and Related Systems, {\rm Oxford, UK, 8th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {293}, publisher = {Open Publishing Association}, pages = {7-27}, doi = {10.4204/EPTCS.293.2}, }