Categorical Models for Simply Typed Resource Calculi.

Antonio Bucciarelli Thomas Ehrhard Giulio Manzonetto

Published in: MFPS (2010)

Keyphrases

probabilistic model
higher order
data sets
genetic algorithm
case study
prior knowledge
hidden markov models
model selection
experimental data
statistical models
mathematical models