Lambda-reikningur

Lambda-reikningur (einnig ritað λ-reikningur) er formlegt kerfi innan stærðfræðilegrar rökfræði og tölvunarfræði sem skilgreinir fallaskilgreiningar, fallabeytingu og endurkvæmni.

Tengt efni

• CAR og CDR
• Common Lisp forritunarmálið
• Clojure forritunarmálið
• Haskell forritunarmálið
• Lambda (λ) – ellefti bókstafurinn í gríska stafrófinu
• Lisp forritunarmálið/fjölskyldan
• Ótagskiptur lambda-reikningur
• Tagskiptur lambda-reikningur