Two-Level Game Semantics, Intersection Types, and Recursion Schemes.

C.-H. Luke Ong, Takeshi Tsukada

Browse the full ICALP paper archive.