2 citations · 2 across the 3 of their papers we have counts for
3 papers
econ.TH2024
Intergenerational Preferences and Continuity: Reconciling Order and Topology
Asier Estevan, Roberto Maura, Oscar Valero
In this paper we focus our efforts on studying how a preorder and topology can be made compatible. Thus we provide a characterization of those that are continuous-compatible. Such…
cs.IT2024★ 2 cited
On fixed point theory in partially ordered sets and an application to asymptotic complexity of algorithms
Asier Estevan, Juan-José Minãna, Oscar Valero
The celebrated Kleene fixed point theorem is crucial in the mathematical modelling of recursive specifications in Denotational Semantics. In this paper we discuss whether the hypot…
math.LO2016
On the structure of formal balls of the balanced quasi-metric domain of words
Salvador Romaguera, Oscar Valero
In "Denotational semantics for programming languages, balanced quasi-metrics and fixed points" (International Journal of Computer Mathematics 85 (2008), 623-630), J. Rodríguez-Lópe…