Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction.
Cristina MatacheSean K. MossSam StatonPublished in: LICS (2022)
Keyphrases
- higher order
- natural images
- sufficient conditions
- high order
- markov models
- low order
- complex objects
- high level
- pairwise
- markov random field
- databases
- lambda calculus
- logic programming
- posterior probability
- information extraction
- variational inequalities
- evolutionary algorithm
- lower order
- automatically classify
- reinforced concrete
- data sets