Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi (1998)

by F Kamareddine, A Rı́os
Venue:Logic Journal of the IGPL