A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations.
Guillaume GeoffroyPaolo PistonePublished in: CSL (2021)
Keyphrases
- higher order
- formal semantics
- pairwise
- distance measure
- logic programming
- distance metric
- nearest neighbor searching
- natural images
- intended meaning
- programming language constructs
- neural network
- lambda calculus
- semantically equivalent
- declarative semantics
- computer programs
- similarity metric
- evaluation metrics
- deductive databases
- high order
- test cases