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

Document Versions

A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations –David Sabel, Manfred Schmidt-schauß — 2008 — MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations –David Sabel, Manfred Schmidt-schauß, Johann Wolfgang Goethe-universität — Math. Structures Comput. Sci
A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations –David Sabel, Manfred Schmidt-Schauß — 2008 — Math. Structures Comput. Sci
A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations. Frank report 24, Inst. Informatik. J.W.G.-university Frankfurt –David Sabel, Manfred Schmidt-schauß, Johann Wolfgang Goethe-universität — 2006 — Math. Structures Comput. Sci