Storage Operators and ∀-positive Types in TTR Type System.

Published in: Math. Log. Q. (1996)

Keyphrases

multiple types
positive and negative
data mining
data storage
special features
building blocks
databases
information retrieval
website
learning environment
data model
storage requirements
positively correlated