$ \lambda $-DEFINABILITY OF BUILT-IN McCARTHY FUNCTIONS AS FUNCTIONS WITH INDETERMINATE VALUES OF ARGUMENTS
DOI:
https://doi.org/10.46991/PYSU:A/2019.53.3.191Keywords:
built-in McCarthy functions, indeterminate values of arguments, $ \lambda $-definabilityAbstract
The built-in functions of programming languages are functions with indeterminate values of arguments. The built-in McCarthy functions $ car $, $ cdr $, $ cons $, $ null $, $ atom $, $ if $, $ eq $, $ not $, $ and $, $ or $, are used in all functional programming languages. In this paper we show the $ \lambda $-definability of the built-in McCarthy functions as functions with indeterminate values of arguments. This result is necessary when translating typed functional programming languages into untyped functional programming languages.
Downloads
Published
2019-12-16
How to Cite
Nigiyan, S. (2019). $ \lambda $-DEFINABILITY OF BUILT-IN McCARTHY FUNCTIONS AS FUNCTIONS WITH INDETERMINATE VALUES OF ARGUMENTS. Proceedings of the YSU A: Physical and Mathematical Sciences, 53(3 (250), 191–202. https://doi.org/10.46991/PYSU:A/2019.53.3.191
Issue
Section
Informatics
License
Copyright (c) 2019 Proceedings of the YSU
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.