An Isbell duality theorem for type refinement systems.

Paul-André Melliès Noam Zeilberger

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

Keyphrases

management system
systems require
expert systems
linear programming
knowledge based systems
search engine
information systems
feature selection
metadata
database systems
distributed systems
computer systems