TY  - RPRT
TI  - Full Abstraction for Free
AU  - Marco Paviotti
AU  - Nicolas Wu
PY  - 2023
UR  - https://arxiv.org/abs/2303.09358
ID  - 2303.09358
ER  -