Pages that link to "Item:Q476196"
From MaRDI portal
The following pages link to Krivine machines and higher-order schemes (Q476196):
Displaying 8 items.
- Strongly reducing variants of the Krivine abstract machine (Q2464720) (← links)
- Krivine schemes are optimal (Q2930639) (← links)
- Krivine Machines and Higher-Order Schemes (Q3012917) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- (Q5014448) (← links)
- (Q5109508) (← links)
- Cost Automata, Safe Schemes, and Downward Closures (Q6044492) (← links)
- Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses (Q6647302) (← links)