A Finite Model Property for Intersection Types.

Published in: ITRS (2014)

Keyphrases

databases
computational model
formal model
data sets
probabilistic model
mathematical model
experimental data
machine learning
artificial intelligence
computer vision
objective function
state space
management system
theoretical framework
statistical model