Algebraic models of simple type theories: A polynomial approach.

Nathanael Arkor Marcelo Fiore

Published in: LICS (2020)

Keyphrases

computational models
genetic algorithm
data sets
higher order
markov random field
group method of data handling
social networks
three dimensional
prior knowledge
probabilistic model
markov models
formal models