Denotational semantics for programming languages, balanced quasi-metrics and fixed points

Jesús Rodríguez-López, Salvador Romaguera, Óscar Valero. Denotational semantics for programming languages, balanced quasi-metrics and fixed points. Int. J. Comput. Math., 85(3&4):623-630, 2008. [doi]

Abstract

Abstract is missing.