Matching typed and untyped realizability.

Published in: Electron. Notes Theor. Comput. Sci. (2000)

Keyphrases

matching algorithm
pattern matching
image matching
matching process
databases
higher order
machine learning
case study
graph matching
shape matching
lambda calculus
correspondence matching
matching scheme
feature matching
keypoints
object recognition
decision making
data mining