Twin procedures, two kinds of variable binding, and two kinds of computation

Published in: Annals of Pure and Applied Logic

Volume 177, Issue 4, pp. 103693-103693

DOI: 10.1016/j.apal.2025.103693