Similar Items: Extensional Semantics for Higher-Order Logic Programs with Negation
- Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
- Bialgebraic Semantics for Logic Programming
- Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
- Semantics of Higher-Order Recursion Schemes
- Kripke Semantics for Martin-Löf's Extensional Type Theory
- Game semantics for first-order logic