Proving the Range Property for Lambda Theories and Models.

Henk Barendregt

Published in: ICTCS (2007)

Keyphrases

probabilistic model
statistical models
databases
neural network
information retrieval
website
three dimensional
database systems
face recognition
expert systems
theoretical framework
neural network model