Algebraic models of simple type theories: a polynomial approach.

Nathanael Arkor Marcelo Fiore

Published in: CoRR (2020)

Keyphrases

probabilistic model
statistical models
data mining
theoretical models
computational models
database
databases
machine learning
genetic algorithm
decision making
decision trees
maximum likelihood
theoretical framework
complex systems
mathematical models
algebraic geometry