The next 700 syntactical models of type theory.

Simon Boulier Pierre-Marie Pédrot Nicolas Tabareau

Published in: CPP (2017)

Keyphrases

mathematical models
real time
data mining
artificial intelligence
computer vision
knowledge base
computational models
formal models
accurate models
data sets
feature selection
multiscale
probabilistic model
theoretical models
theoretical developments