Explicit substitutions and higher-order syntax

Neil Ghani, Tarmo Uustalu, Makoto Hamana. Explicit substitutions and higher-order syntax. Higher-Order and Symbolic Computation, 19(2-3):263-282, 2006. [doi]

Abstract

Abstract is missing.