A condition for identifying two elements of whatever model of combinatory logic.

Giuseppe Jacopini

Published in: Lambda-Calculus and Computer Science Theory (1975)

Keyphrases

probabilistic model
neural network
computational model
theoretical framework
bayesian framework
experimental data
mathematical model
theoretical analysis
logic programming
probability distribution
hidden markov models
control system
prior knowledge
high level
decision trees
social networks
search engine