TY  - RPRT
TI  - A Fully Abstract Model of PCF Based on Extended Addressing Machines
AU  - Benedetto Intrigila
AU  - Giulio Manzonetto
AU  - Nicolas Munnich
PY  - 2025
DO  - 10.46298/lmcs-21(3:17)2025
UR  - https://arxiv.org/abs/2306.13756
ID  - 2306.13756
ER  -