A Classical Realizability Model for a Semantical Value Restriction.

Rodolphe Lepigre

Published in: ESOP (2016)

Keyphrases

probabilistic model
statistical model
high level
computational model
mathematical model
experimental data
theoretical analysis
bayesian framework
real time
objective function
management system
network structure
theoretical foundation
prediction model
network model
autoregressive