| русский | rus-000 |
| лямбда-исчисление | |
| čeština | ces-000 | lambda kalkul |
| English | eng-000 | lambda calculus |
| suomi | fin-000 | lambdakalkyyli |
| Srpskohrvatski | hbs-001 | lambda račun |
| íslenska | isl-000 | lambda-reikningur |
| 日本語 | jpn-000 | ラムダ計算 |
| македонски | mkd-000 | ламбда-пресметка |
| svenska | swe-000 | lambdakalkyl |