Predicative Type Universes and Primitive Recursion

Nax Paul Mendler

Published in: LICS (1991)

Keyphrases

feature selection
real time
neural network
machine learning
information retrieval
cooperative
higher level
complex objects