Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language.

Taro Suzuki Koji Nakagawa Tetsuo Ida

Published in: ALP/HOA (1997)

Keyphrases

higher order
high order
probabilistic model
natural images
lambda calculus
low order
computational model
lower order
mathematical model
statistical model
conceptual model
objective function
neural network
pairwise
finite state machines
similarity measure
high level