On the Meaning of Positivity Relations for Regular Formal Spaces. - Giovanni Sambin; Giorgio Trentinaglia (J. Univers. Comput. Sci., 2005)