Combinatorial realizability models of type theory.

Pieter J. W. Hofstra Michael A. Warren

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

computational models
theoretical basis
neural network
data mining
multiscale
probabilistic model
theoretical framework
theoretical models
machine learning
information retrieval
social networks
model selection
experimental data
statistical models
bayesian framework
autoregressive