Similar Items: A Probabilistic Higher-order Fixpoint Logic
- The Complexity of Model Checking Higher-Order Fixpoint Logic
- On Higher-Order Probabilistic Subrecursion
- Definability and Interpolation within Decidable Fixpoint Logics
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs
- Superposition for Lambda-Free Higher-Order Logic
- Logical Reasoning for Higher-Order Functions with Local State