Prindi | E-postile | Salvesta 
lambda-arvutus
lambda calculus
ESTER | ISE | ERB | Google
Laiemad:arvutusmeetodid numerical methods
Seotud:kombinatoorne loogika combinatory logic
rekursiooniteooria recursion theory
tüübiteooria type theory
Valdkonnad:21 MATEMAATIKA.