Strong normalization for typed terms with surjective pairing.

A. S. Troelstra

Published in: Notre Dame J. Formal Log. (1986)

Keyphrases

data sets
database systems
multiscale
preprocessing
lower bound
relational databases
co occurrence
higher order
text classification
background knowledge