Bridging de Bruijn indices and variable names in explicit substitutions calculi (1998)

by Fairouz Kamareddine, Alejandro Ríos
Venue:Logic Journal of the Interest Group of Pure and Applied Logic