Pixel Geometry
Stephen G. Matthews · Electronic Notes in Theoretical Computer Science · 2001
An alternative approach to studying the denotational semantics of programming languages is suggested and studied through an example borrowed from geometry. In contrast to the prevailing Scott-Strachey approach using continuous mathematics a discrete alternative is suggested having more in common with data structuring than T0 separable topology.