Models of Type Theory with Strict Equality.

Paolo Capriotti

Published in: CoRR (2017)

Keyphrases

complex systems
prior knowledge
probabilistic model
bayesian framework
modeling framework
genetic algorithm
decision making
website
markov random field
model selection
statistical models
mathematical models