A note on preservation of strong normalisation in the λ-calculus.

José Espírito Santo

Published in: Theor. Comput. Sci. (2011)

Keyphrases

database
automated deduction
social networks
high level
data sets
neural network
machine learning
relational databases
first order logic
term frequency