Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction).
Cristina MatacheSean K. MossSam StatonPublished in: CoRR (2022)
Keyphrases
- higher order
- natural images
- probability distribution
- high order
- complex objects
- sufficient conditions
- pairwise
- markov random field
- high level
- low order
- lower order
- real time
- reinforced concrete
- conditional random fields
- deductive databases
- lambda calculus
- conditional probabilities
- hierarchical structure
- object recognition
- information systems
- neural network