A Model of Countable Nondeterminism in Guarded Type Theory.

Ales Bizjak Lars Birkedal Marino Miculan

Published in: RTA-TLCA (2014)

Keyphrases

computational model
theoretical framework
formal model
high level
prior knowledge
probabilistic model
mathematical model
conceptual model
mathematical models
data sets
neural network
similarity measure
evolutionary algorithm
process model
experimental data
decision theory