Tachis: Higher-Order Separation Logic with Credits for Expected Costs.
Philipp G. HaselwarterKwing Hei LiMarkus de MedeirosSimon Oddershede GregersenAlejandro AguirreJoseph TassarottiLars BirkedalPublished in: CoRR (2024)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- pairwise
- high order
- extreme values
- markov random field
- natural images
- modal logic
- total cost
- sound and complete axiomatization
- linear logic
- classical logic
- logical framework
- defeasible logic
- set theory
- predicate logic
- epistemic logic
- lower order
- computational properties
- asynchronous circuits
- expected profit
- logic programming
- genetic algorithm