Similar Items: Higher Order Automatic Differentiation of Higher Order Functions
- Higher Order Partial Differentiable Functions
- Logical Reasoning for Higher-Order Functions with Local State
- Decidability of higher-order matching
- On Higher-Order Probabilistic Subrecursion
- Higher-Order Asynchronous Effects
- Theory of higher order interpretations and application to Basic Feasible Functions