![Theoretical computer science / Lambda calculus / Computability theory / Evaluation strategy / Calculus / Free variables and bound variables / Function / Parameter / Algorithm / Mathematics / Mathematical logic / Applied mathematics Theoretical computer science / Lambda calculus / Computability theory / Evaluation strategy / Calculus / Free variables and bound variables / Function / Parameter / Algorithm / Mathematics / Mathematical logic / Applied mathematics](https://www.pdfsearch.io/img/7a664c36e3e09950712718af97385449.jpg) Date: 2012-08-23 01:51:44Theoretical computer science Lambda calculus Computability theory Evaluation strategy Calculus Free variables and bound variables Function Parameter Algorithm Mathematics Mathematical logic Applied mathematics | | The Call-by-need Lambda Calculus, Revisited Stephen Chang and Matthias Felleisen College of Computer Science Northeastern University Boston, Massachusetts, USA { stchang | matthias } @ ccs.neu.eduAdd to Reading ListSource URL: www.ccs.neu.eduDownload Document from Source Website File Size: 386,11 KBShare Document on Facebook
|