Riba, C., & Kejikian, A. (2025). Infinitary Refinement Types for Temporal Properties in Scott Domains.
Cita Chicago Style (17a ed.)Riba, Colin, y Alexandre Kejikian. Infinitary Refinement Types for Temporal Properties in Scott Domains. 2025.
Cita MLA (9a ed.)Riba, Colin, y Alexandre Kejikian. Infinitary Refinement Types for Temporal Properties in Scott Domains. 2025.
Precaución: Estas citas no son 100% exactas.