3 papers
cs.LO2024
Continuous Domains for Function Spaces Using Spectral Compactification
Amin Farjudian, Achim Jung
We introduce a continuous domain for function spaces over topological spaces which are not core-compact. Notable examples of such topological spaces include the real line with the…
cs.LO2023
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
Francesco Dagnino, Amin Farjudian, Eugenio Moggi
Generalized metric spaces are obtained by weakening the requirements (e.g., symmetry) on the distance function and by allowing it to take values in structures (e.g., quantales) tha…
cs.LO2022
Robustness, Scott Continuity, and Computability
Amin Farjudian, Eugenio Moggi
Robustness is a property of system analyses, namely monotonic maps from the complete lattice of subsets of a (system's state) space to the two-point lattice. The definition of robu…