Tagskiptur lambda-reikningur
Tagskiptur lambda-reikningur[1] 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
[breyta | breyta frumkóða]- Simply typed lambda calculus (þýðingu vantar)
- System F
Tilvísanir
[breyta | breyta frumkóða]- ↑ Orð búið til af höfundi: tagskiptur (typed)[óvirkur tengill] á Tölvuorðasafninu