PanLinx
русский
rus-000
бета-редукция
English
eng-000
beta reduction
PanLex