## A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations (2008)

### Cached

### Download Links

by
David Sabel
,
Manfred Schmidt-schauß

Venue: | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE |

Citations: | 14 - 9 self |