Colin Riba, Adam Donadille. A Complete Finitary Refinement Type System for Scott-Open Properties. In Frank Pfenning, editor, 11th International Conference on Formal Structures for Computation and Deduction, FSCD 2026, Lisbon, Portugal, July 20-23, 2026. Volume 378 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.