| 日本語 | jpn-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 |
| македонски | mkd-000 | ламбда-пресметка |
| русский | rus-000 | лямбда-исчисление |
| svenska | swe-000 | lambdakalkyl |