Systems of Transfinite Types Involving lambda-Conversion.

Published in: J. Symb. Log. (1953)

Keyphrases

distributed systems
social networks
hidden markov models
management system
intelligent systems
computer systems
systems require
databases
machine learning
feature selection
artificial neural networks
special case
mobile robot
knowledge based systems
fixed point