Intersection types for a λ-calculus with global store.

Ugo de'Liguoro, Riccardo Treglia

Browse the full PPDP paper archive.