Galois Embedding from Polymorphic Types into Existential Types.

Ken-etsu Fujita

Published in: TLCA (2005)

Keyphrases

decision trees
data sets
three dimensional
learning environment
rough sets