Plays as Resource Terms via Non-idempotent Intersection Types.

Takeshi Tsukada, C.-H. Luke Ong

Browse the full LICS paper archive.