Lambda

Lambda on kreeka tähestiku täht, mis vastab ladina tähele L. Selle kogumiku nimeks sai lambda seetõttu, et 1930 aastal lõi A.Church ühe esimestest programmeerimiskeeltest maailmas (teine oli Churchi õpilase A.Turingu nn "Turingi masin") ning nimetas selle keele lambda-arvutuseks.

Lambda-arvutus oli küll puhtalt teooria jaoks mÕeldud keel, aga oma äärmise lihtsuse ja üldisuse tõttu muutus ta hiljemloodud praktiliste programmeerimiskeelte üheks peamiseks ideeliseks aluseks.