$\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments

Встроенные функции языков программирования являются функциями с неопределенными значениями аргументов. Встроенные функции Маккарти $car,~cdr,~cons,~null,~atom,~if,~eq,~not,~ and,~or$ используются во всех функциональных языках программирования. В данной статье показана $\lambda$-определимость встроенных функций Маккарти как функций с неопределенными значениями аргументов. Этот результат необходим при трансляции типизированных функциональных языков программирования в бестиповые функциональные языки программирования.