Similar Items: SAT-Inspired Higher-Order Eliminations
- Higher Order Automatic Differentiation of Higher Order Functions
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- Decidability of higher-order matching
- On Higher-Order Probabilistic Subrecursion
- Higher-Order Asynchronous Effects
- Semantics of Higher-Order Recursion Schemes