Formalizing the Curry-Howard Correspondence.

Juan Ferrer Meleiro Hugo Luiz Mariano

Published in: CoRR (2019)

Keyphrases

image matching
stereo correspondence
real time
information systems
case study
database systems
learning environment
information technology
mobile robot
feature matching
image correspondences
correspondence matching