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

摘要

A new mathematical model is introduced for the study of the domain of words. We do it by means of the introduction of a suitable balanced quasi-metric on the set of all words over an alphabet. It will be shown that this construction has better quasi-metri