Pages that link to "Item:Q1648865"
From MaRDI portal
The following pages link to \(\lambda\) to SKI, semantically -- declarative pearl (Q1648865):
Displaying 3 items.
- The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus (Q4972064) (← links)
- Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms (Q4988930) (← links)
- A correct-by-construction conversion from lambda calculus to combinatory logic (Q6065511) (← links)