The Essence of Higher-Order Concurrent Separation Logic.
Robbert KrebbersRalf JungAles BizjakJacques-Henri JourdanDerek DreyerLars BirkedalPublished in: ESOP (2017)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- high order
- natural images
- low order
- markov random field
- multi valued
- modal logic
- logic programming
- markov models
- mutual exclusion
- asynchronous circuits
- classical logic
- programming language
- reinforcement learning
- linear logic
- automated reasoning
- hierarchical reinforcement learning
- lower order
- predicate calculus
- predicate logic
- set theory
- databases
- conditional random fields
- pairwise
- similarity measure
- genetic algorithm