Intersection Types for the Resource Control Lambda Calculi.

Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec

Browse the full ICTAC paper archive.