Non-idempotent Intersection Types in Logical Form.

Published in: FoSSaCS (2020)

Keyphrases

knn
data sets
data mining
information systems
database systems
hidden markov models
nearest neighbor
multi dimensional
logical structure
logical rules
logical language