TY  - RPRT
TI  - Extended Addressing Machines for PCF, with Explicit Substitutions
AU  - Benedetto Intrigila
AU  - Giulio Manzonetto
AU  - Nicolas Munnich
PY  - 2023
DO  - 10.46298/entics.10533
UR  - https://arxiv.org/abs/2212.11147
ID  - 2212.11147
ER  -