Dependence and Independence Results for (Impredicative) Calculi of Dependent Types.

Thomas Streicher

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

Keyphrases

dependence structure
information retrieval
data sets
data mining
artificial intelligence
three dimensional
optimal solution
data structure
artificial neural networks
multiple types