Propositions as types.

Published in: Commun. ACM (2015)

Keyphrases

information technology
relational databases
data mining
machine learning
learning algorithm
search engine
pattern recognition
digital libraries
color images