Similar Items: On Higher-Order Probabilistic Subrecursion
- A Probabilistic Higher-order Fixpoint Logic
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs
- Higher Order Automatic Differentiation of Higher Order Functions
- Convexity and Order in Probabilistic Call-by-Name FPC
- Decidability of higher-order matching
- Higher-Order Asynchronous Effects