Extended Addressing Machines for PCF, with Explicit Substitutions. - Benedetto Intrigila; Giulio Manzonetto; Nicolas Munnich (MFPS, 2022)

Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction. - Benedetto Intrigila; Giulio Manzonetto; Nicolas Munnich (CoRR, 2023)