Pages that link to "Item:Q3012917"
From MaRDI portal
The following pages link to Krivine Machines and Higher-Order Schemes (Q3012917):
Displaying 6 items.
- Krivine machines and higher-order schemes (Q476196) (← links)
- Strongly reducing variants of the Krivine abstract machine (Q2464720) (← links)
- Krivine schemes are optimal (Q2930639) (← links)
- Typing Weak MSOL Properties (Q2949449) (← links)
- Simply typed fixpoint calculus and collapsible pushdown automata (Q2973243) (← links)
- (Q5129945) (← links)