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

by David Sabel , Manfred Schmidt-schauß
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:14 - 9 self