TY  - RPRT
TI  - On Model-Checking Higher-Order Effectful Programs (Long Version)
AU  - Ugo Dal Lago
AU  - Alexis Ghyselen
PY  - 2023
UR  - https://arxiv.org/abs/2308.16542
ID  - 2308.16542
ER  -