research
∙
06/23/2023
Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction
Extended addressing machines (EAMs) have been introduced to represent hi...
research
∙
12/09/2022