Tagskiptur lambda-reikningur

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

Tegundir tagskiptra lambda-reikninga breyta

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

Tilvísanir breyta

↑ Orð búið til af höfundi: tagskiptur (typed)^{[óvirkur tengill]} á Tölvuorðasafninu

Sótt frá „https://is.wikipedia.org/w/index.php?title=Tagskiptur_lambda-reikningur&oldid=1721701“