1. Subtyping recursive types;Amadio;ACM Trans. Program. Lang. Syst.,1993
2. Equational term graph rewriting;Ariola;Fund. Inform.,1996
3. Type soundness for path polymorphism;Ayala-Rincón;Electron. Notes Theor. Comput. Sci.,2016
4. Lambda Calculus with Types. Perspectives in Logic;Barendregt,2013