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

Cached

Download Links

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