TY  - RPRT
TI  - Extensional and Non-extensional Functions as Processes
AU  - Ken Sakayori
AU  - Davide Sangiorgi
PY  - 2025
DO  - 10.46298/lmcs-21(3:25)2025
UR  - https://arxiv.org/abs/2405.03536
ID  - 2405.03536
ER  -