7 citations · 23 across the 9 of their papers we have counts for
1 paper · 2 filters
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…