A notion of classical pure type system.

Gilles Barthe John Hatcliff Morten Heine Sørensen

Published in: MFPS (1997)

Keyphrases

case study
neural network
multiscale
objective function
learning algorithm
high level
bayesian networks
cooperative
type checking