Tagskiptur lambda-reikningur
Tagskiptur lambda-reikningur er tagskipt formhyggja sem notar lambda-táknið () 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

Tilvísanir 

Lambda-reikningur
Rökfræði í tölvunarfræði
Reiknifræði
Tagfræði