Addressing Machines as models of lambda-calculus

Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto

Turing machines and register machines have been used for decades in theoretical computer science as abstract models of computation. Also the $\lambda$-calculus has played a central role…