Tagskiptur lambda-reikningur

Tagskiptur lambda-reikningur^[1] er tagskipt formhyggja sem notar lambda-táknið (${\displaystyle \lambda }$) til að tákna nafnlaus föll svipað og ótagskipti lambda-reikningurinn. Tagskiptir lambdareikningar eru undirstaða margra fallaforritunarmála eins og ML og Haskell.

Tegundir tagskiptra lambda-reikninga

• Simply typed lambda calculus (þýðingu vantar)
• System F