Abstract deduction and inferential models for type theory.

Paolo Gentilini Maurizio Martelli

Published in: Inf. Comput. (2010)

Keyphrases

computational models
experimental data
probabilistic model
formal models
mathematical framework
mathematical models
complex systems
accurate models
theoretical framework
model selection
high level
decision making
data sets
statistical models
bayesian framework
d objects
real time