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

Tilvísanir