TY  - RPRT
TI  - Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems
AU  - Ugo Dal Lago
AU  - Francesco Gavazzo
PY  - 2021
UR  - https://arxiv.org/abs/2106.12849
ID  - 2106.12849
ER  -