Pages that link to "Item:Q2464724"
From MaRDI portal
The following pages link to On the correctness of the Krivine machine (Q2464724):
Displaying 5 items.
- Krivine machines and higher-order schemes (Q476196) (← links)
- On the value of variables (Q2401632) (← links)
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
- Krivine Machines and Higher-Order Schemes (Q3012917) (← links)
- Reasonable space for the \(\lambda \)-calculus, logarithmically (Q6649482) (← links)
