ITRS 2018 Accepted Papers
Richard Statman. On sets of terms with a given intersection type
Pedro Ângelo and Mário Florido. Gradual Intersection Types
Federico Aschieri. Natural Deduction and Normalization Proofs for the Intersection Type Discipline
Giulio Guerrieri. Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus Simona Ronchi Della Rocca and Daniele Pautasso. Strong normalization of simple types through uniform intersection types.