Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Lima, Maria J. D."'
Publikováno v:
EPTCS 389, 2023, pp. 80-95
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 augment the lambda-calculus's grammar with an uninterpreted explicit
Externí odkaz:
http://arxiv.org/abs/2309.13801
