1. A. Abel, Syntactical normalization for intersection types with term rewriting rules, in: Fourth International Workshop on Higher-Order Rewriting, HOR’07, Paris, France, 25 June 2007, 2007
2. A filter lambda model and the completeness of type assignment;Barendregt;The Journal of Symbolic Logic,1983
3. Continuous semantics for strong normalization;Berger,2005
4. Strong normalization for applied lambda calculi;Berger;Logical Methods in Computer Science,2005
5. Definitions by rewriting in the calculus of constructions;Blanqui;Mathematical Structures in Computer Science,2005