TY  - RPRT
TI  - A Denotational Product Construction for Temporal Verification of Effectful Higher-Order Programs
AU  - Kazuki Watanabe
AU  - Mayuko Kori
AU  - Taro Sekiyama
AU  - Satoshi Kura
AU  - Hiroshi Unno
PY  - 2025
UR  - https://arxiv.org/abs/2510.11320
ID  - 2510.11320
ER  -