The Dedekind reals in abstract Stone duality.

Andrej Bauer Paul Taylor

Published in: Math. Struct. Comput. Sci. (2009)

Keyphrases

high level
linear programming
higher level
multimedia
low level
constraint databases
databases
search engine
information systems
multiscale
query processing
transitive closure