A Type Soundness Proof for Variables in LCF ML.

Dennis M. Volpano Geoffrey Smith

Published in: Inf. Process. Lett. (1995)

Keyphrases

maximum likelihood
neural network
learning algorithm
random variables
genetic algorithm
three dimensional
objective function
theorem proving