The following publications are possibly variants of this publication:
- Intersection Type Systems and Explicit Substitutions CalculiDaniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine. wollic 2010: 232-246 [doi]
- Bridging de Bruijn Indices and Variable Names in Explicit Substitutions CalculiFairouz Kamareddine, Alejandro Ríos. igpl, 6(6):843-874, 1998. [doi]
- Pure Type Systems with de Bruijn IndicesFairouz Kamareddine, Alejandro Ríos. cj, 45(2):187-201, 2002. [doi]
- Principal Typings for Explicit Substitutions CalculiDaniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine. cie 2008: 567-578 [doi]
- Metaconfluence of Calculi with Explicit Substitutions at a DistanceFlávio L. C. de Moura, Delia Kesner, Mauricio Ayala-Rincón. fsttcs 2014: 391-402 [doi]
- A Lambda-Calculus a la de Bruijn with Explicit SubstitutionsFairouz Kamareddine, Alejandro Ríos. plilp 1995: 45-62