PanLinx
English
eng-000
lambda-conversion
русский
rus-000
лямбда-преобразование
PanLex
