The reflective higher-order calculus: Encodability, typability and separation.
Stian LybechPublished in: Inf. Comput. (2024)
Keyphrases
- higher order
- lambda calculus
- high order
- markov random field
- natural images
- pairwise
- low order
- reflective learning
- lower order
- conditional random fields
- markov models
- information systems
- database query languages
- expressive power
- automated deduction
- automated theorem proving
- belief propagation
- real time
- probabilistic model
- genetic algorithm
- machine learning