1 paper
Maria J. D. Lima, Flávio L. C. de Moura
The substitution lemma is a renowned theorem within the realm of lambda-calculus theory and concerns the interactional behaviour of the metasubstitution operation. In this work, we…