A Generalization of the Curry-Howard Correspondence.

Lucius Schoenbaum

Published in: CoRR (2016)

Keyphrases

point correspondences
web services
pairwise
stereo correspondence
information retrieval
image processing
evolutionary algorithm
rough sets