Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine. Intersection Type Systems and Explicit Substitutions Calculi. In Anuj Dawar, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Volume 6188 of Lecture Notes in Computer Science, pages 232-246, Springer, 2010. [doi]
Abstract is missing.