Factorization of the Shoenfield-like Bounded Functional Interpretation.

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

Keyphrases

matrix factorization
high level
databases
information systems
pairwise
recommender systems
linear combination
singular value decomposition
semantic interpretation