Towards the range property for the lambda theory H.

Henk Barendregt

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

Keyphrases

wide range
fixed point
theoretical framework
neural network
multiscale
desirable properties
multi agent systems
hidden markov models
computational model
range images
range data
computational models
formal model
theoretical basis
formal theory