Similar Items: On the Termination Problem for Probabilistic Higher-Order Recursive Programs
- Semantics of Higher-Order Recursion Schemes
- Model Checking Temporal Properties of Recursive Probabilistic Programs
- On Higher-Order Probabilistic Subrecursion
- A Probabilistic Higher-order Fixpoint Logic
- Defining Recursive Predicates in Graph Orders
- Extensional Semantics for Higher-Order Logic Programs with Negation