A denotationally-based program logic for higher-order store.
Frederik Lerbjerg AagaardJonathan SterlingLars BirkedalPublished in: CoRR (2023)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- logic programming
- high order
- markov random field
- pairwise
- natural images
- program understanding
- lower order
- relational databases
- artificial intelligence
- programs written
- proof theory
- declarative semantics
- functional programs
- computational properties
- program execution
- truth values
- predicate logic
- digital circuits
- low order
- database
- classical logic
- computer programs
- logic programs
- genetic algorithm