11 citations · 42 across the 14 of their papers we have counts for
1 paper · 1 filter
Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
Addressing machines have been introduced as a formalism to construct models of the pure, untyped lambda-calculus. We extend the syntax of their programs by adding instructions for…