Similar Items: Superposition for Lambda-Free Higher-Order Logic
- A Probabilistic Higher-order Fixpoint Logic
- Ordered Models of the Lambda Calculus
- The Complexity of Model Checking Higher-Order Fixpoint Logic
- Logical Reasoning for Higher-Order Functions with Local State
- Extensional Semantics for Higher-Order Logic Programs with Negation
- Encoding many-valued logic in $lambda$-calculus