TY  - RPRT
TI  - Infinitary Intersection Types as Sequences: a New Answer to Klop's Question
AU  - Pierre Vial
PY  - 2016
UR  - https://arxiv.org/abs/1610.06409
ID  - 1610.06409
ER  -