Infinitary intersection types as sequences: A new answer to Klop's problem.

Pierre Vial

Browse the full LICS paper archive.