The Parallel Intensionally Fully Abstract Games Model of PCF.

Simon Castellan Pierre Clairambault Glynn Winskel

Published in: LICS (2015)

Keyphrases

probabilistic model
high level
experimental data
decision trees
mathematical model
conceptual model
data sets
neural network
machine learning
bayesian networks
higher level
theoretical analysis
computational model
theoretical framework
statistical model
neural network model