On Generalized Metric Spaces for the Simply Typed Lambda-Calculus (Extended Version).
Paolo PistonePublished in: CoRR (2021)
Keyphrases
- lambda calculus
- metric space
- similarity search
- programming language
- predicate calculus
- distance function
- searching in metric spaces
- range queries
- similarity queries
- complex objects
- high dimensional
- database query languages
- access methods
- partially ordered sets
- higher order
- vector space
- program understanding
- multidimensional index
- nearest neighbor
- database