Models of Type Theory Based on Moore Paths.

Ian Orton Andrew M. Pitts

Published in: FSCD (2017)

Keyphrases

probabilistic model
mathematical models
artificial intelligence
generative model
statistical models
modeling framework
database
machine learning
website
model selection
computational model
formal models