arXiv 2017-04-02 EN Intersection Types for the lambda-mu Calculus van Bakel, Steffen · Barbanera, Franco · de'Liguoro, Ugo
arXiv 2014-10-23 EN A type assignment for lambda-calculus complete both for FPTIME and strong normalization De Benedetti, Erika · Della Rocca, Simona Ronchi
