Login / Signup

The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract).

Ivo Pezlar
Published in: CLAR (2021)
Keyphrases
  • extended abstract
  • correspondence matching
  • data sets
  • point correspondences
  • image sequences
  • stereo correspondence