Edit this page Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== Evaluare expresii lambda ====== Scopul laboratorului: * obișnuirea studenților cu calculul lambda: * ce e o expresie * ce sunt variabilele libere/legate * cum se evaluează o expresie * implementarea unei aplicații practice de evaluare a expresiilor lambda (în Haskell) ===== Calcul lambda ===== [[https://en.wikipedia.org/wiki/Lambda_calculus|Calculul lambda]] este un model computațional ([[https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis|echivalent din punct de vedere al expresivității cu Mașina Turing]]), bazat pe funcții, în care computația este exprimată ===== Exerciții ===== TODO ===== Recommended Reading ===== TODO