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

by Fairouz Kamareddine , Alejandro Ríos
Venue:Logic Journal of the Interest Group of Pure and Applied Logic (IGPL
Citations:10 - 6 self