2 papers
cs.LO2023
A Fully Abstract Model of PCF Based on Extended Addressing Machines
Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
Extended addressing machines (EAMs) have been introduced to represent higher-order sequential computations. Previously, we have shown that they are capable of simulating -- via an…
cs.LO2022
Extended Addressing Machines for PCF, with Explicit Substitutions
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…