section_heading: Lambda račun i programski jezici
paragraph_text: Kao što je istaknuo Peter Landin u svom klasiku iz 1965. <cite>A Correspondence between ALGOL 60 and Church's Lambda-notation</cite>, većina programskih jezika je ukorijenjena u lambda računu, koji pruža osnovne mehanizme proceduralne apstrakcije i proceduralne (potprogramske) aplikacije.