Models of Type Theory Based on Moore Paths.

Ian Orton Andrew M. Pitts

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

statistical models
theoretical basis
complex systems
formal models
generative model
computational model
statistical model
computational models
probabilistic model
experimental data
bayesian framework
mathematical models
autoregressive
accurate models