Similar Items: Logical Reasoning for Higher-Order Functions with Local State
- Higher Order Automatic Differentiation of Higher Order Functions
- Superposition for Lambda-Free Higher-Order Logic
- A Probabilistic Higher-order Fixpoint Logic
- The Complexity of Model Checking Higher-Order Fixpoint Logic
- Extensional Semantics for Higher-Order Logic Programs with Negation
- On the Satisfiability of Local First-Order Logics with Data