Tagskiptur lambda-reikningur

Tagskiptur lambda-reikningurOrð búið til af höfundi: tagskiptur (typed) á Tölvuorðasafninu 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 

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