research
∙
06/23/2023
Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction
Extended addressing machines (EAMs) have been introduced to represent hi...
share
research
∙
12/09/2022
Extended Addressing Machines for PCF, with Explicit Substitutions
Addressing machines have been introduced as a formalism to construct mod...
research
∙
07/01/2021
Addressing Machines as models of lambda-calculus
Turing machines and register machines have been used for decades in theo...
research
∙
02/20/2018