PanLinx
русский
rus-000
чистое функциональное исчисление
English
eng-000
pure functional calculus
PanLex