Relating Models of Impredicative Type Theories.

Bart Jacobs Eugenio Moggi Thomas Streicher

Published in: Category Theory and Computer Science (1991)

Keyphrases

statistical models
neural network model
database
genetic algorithm
case study
multiscale
pairwise
probability distribution
model selection
statistical model
random fields
multiple types