Cartesian closed categories of separable Scott domains.

Andrej Bauer Gordon D. Plotkin Dana S. Scott

Published in: Theor. Comput. Sci. (2014)

Keyphrases

application domains
databases
genetic algorithm
information systems
knowledge base
image sequences
hierarchical structure
decision making
relational databases
transfer learning
polar coordinates
log polar mapping