Back to Results
First PageMeta Content
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


Abstract λ-Calculus Machines Werner E. Kluge Department of Computer Science University of Kiel D–24105 Kiel, Germany [removed]
Add to Reading List

Document Date: 2008-08-06 05:03:43

Open Document

File Size: 498,70 KB

Share Result on Facebook

/

Facility

Computer Science University / /

IndustryTerm

proof systems / machinery / normal-order applications / partial function applications / secd-machinery / partial applications / computing / real computing machines / /

Organization

Calculus Machines Werner E. Kluge Department / Computer Science University / /

Person

Werner E. Kluge / /

Position

head / abstract applicative order evaluator / abstractor / interpreter / programmer / /

ProgrammingLanguage

C / /

RadioStation

F AM / /

Technology

Functional Programming / /

SocialTag