On Strong Normalization in the Intersection Type Discipline - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gérard Boudol. On Strong Normalization in the Intersection Type Discipline. In Martin Hofmann, editor, Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Volume 2701 of Lecture Notes in Computer Science, pages 60-74, Springer, 2003. [doi]

The following publications are possibly variants of this publication:

On strong normalization and type inference in the intersection type disciplineGérard Boudol. TCS, 398(1-3):63-81, 2008. [doi]

On Type Inference in the Intersection Type DisciplineGérard Boudol, Pascal Zimmer. ENTCS, 136:23-42, 2005. [doi]

runs on WebDSL