Intersection Types from a Proof-theoretic Perspective
Elaine Gouvêa Pimentel, Simona Ronchi Della Rocca, Luca Roversi · Fundamenta Informaticae · 2012
In this work we present a proof-theoretical justification for the intersection type assignment system (IT) by means of the logical system Intersection Synchronous Logic (ISL). ISL builds classes of equivalent deductions of the implicative and conjunc