Pages that link to "Item:Q2464720"
From MaRDI portal
The following pages link to Strongly reducing variants of the Krivine abstract machine (Q2464720):
Displaying 16 items.
- Explaining Gabriel-Zisman localization to the computer (Q861700) (← links)
- Refunctionalization at work (Q923881) (← links)
- A compact kernel for the calculus of inductive constructions (Q1040007) (← links)
- Reversible, irreversible and optimal \(\lambda\)-machines (Q1575873) (← links)
- (In)efficiency and reasonable cost models (Q2333310) (← links)
- The graphical Krivine machine (Q2464713) (← links)
- Improving the lazy Krivine machine (Q2464718) (← links)
- The next 700 Krivine machines (Q2464721) (← links)
- Krivine nets: a semantic foundation for distributed execution (Q2819699) (← links)
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- (Q4972738) (← links)
- A Fresh Look at the λ-Calculus (Q5089000) (← links)
- (Q5089007) (← links)
- (Q5111306) (← links)
- Programming Languages and Systems (Q5464039) (← links)