On Generalized Metric Spaces for the Simply Typed Lambda-Calculus.
Paolo PistonePublished in: LICS (2021)
Keyphrases
- lambda calculus
- metric space
- similarity search
- programming language
- predicate calculus
- distance function
- database query languages
- range queries
- multidimensional index
- similarity queries
- high dimensional
- searching in metric spaces
- access methods
- partially ordered sets
- program understanding
- vector space
- point sets
- complex objects
- formal model
- neural network
- skyline queries
- software engineering
- feature selection
- general purpose
- data structure