Infinitary Refinement Types for Temporal Properties in Scott Domains. - Colin Riba; Alexandre Kejikian (WoLLIC, 2025)