On some peculiar aspects of the constructive theory of point-free spaces.

Published in: Math. Log. Q. (2010)

Keyphrases

quotient space
theoretical framework
single point
cognitive development
database
databases
shape analysis
computational models
formal theory