![Models of computation / Lambda calculus / Computability theory / SECD machine / Fixed-point combinator / Free variables and bound variables / Parameter / Algorithm / Function / Mathematics / Theoretical computer science / Applied mathematics Models of computation / Lambda calculus / Computability theory / SECD machine / Fixed-point combinator / Free variables and bound variables / Parameter / Algorithm / Function / Mathematics / Theoretical computer science / Applied mathematics](https://www.pdfsearch.io/img/6ed8689486ba5f15512d4aa5aaaedbdd.jpg) Date: 2008-08-06 05:03:43Models of computation Lambda calculus Computability theory SECD machine Fixed-point combinator Free variables and bound variables Parameter Algorithm Function Mathematics Theoretical computer science Applied mathematics | | Abstract λ-Calculus Machines Werner E. Kluge Department of Computer Science University of Kiel D–24105 Kiel, Germany [removed]Add to Reading ListSource URL: www.informatik.uni-kiel.deDownload Document from Source Website File Size: 498,70 KBShare Document on Facebook
|