The System F of Variable Types, Fifteen Years Later.

Jean-Yves Girard

Published in: Theor. Comput. Sci. (1986)

Keyphrases

neural network
cooperative
pattern recognition
real time
e learning
image processing
bayesian networks
wide range
expert systems
years ago