TY  - RPRT
TI  - Liveness Properties in Geometric Logic for Domain-Theoretic Streams
AU  - Colin Riba
AU  - Solal Stern
PY  - 2023
UR  - https://arxiv.org/abs/2310.12763
ID  - 2310.12763
ER  -