2019; Physical and Mathematical Sciences, 53(3 (250): 191–202
Shared with The Gufo

λ-DEFINABILITY OF BUILT-IN McCARTHY FUNCTIONS ASFUNCTIONS WITH INDETERMINATE VALUES OF ARGUMENTS

Nigiyan Nigiyan*

Received: 2025-01-30 · Published: 2019-12-16

© 2019 The Author(s) and the original publisher.

CC BY-NC 4.0 This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
Shared article.
Original title
λ-DEFINABILITY OF BUILT-IN McCARTHY FUNCTIONS ASFUNCTIONS WITH INDETERMINATE VALUES OF ARGUMENTS
Author
Nigiyan Nigiyan
Published
2019-12-16
Licence
Creative Commons Attribution-NonCommercial 4.0 International
Original
https://doi.org/10.46991/PYSU:A/2019.53.3.191

Abstract

The built-in functions of programming languages are functions with in-determinate values of arguments. The built-in McCarthy functionscar, cdr,cons, null, atom, if, eq, not, and, or, are used in all functional programminglanguages. In this paper we show theλ-definability of the built-in McCarthyfunctions as functions with indeterminate values of arguments. This result isnecessary when translating typed functional programming languages intountyped functional programming languages.
1 / ? 100% Open in new tab Download Cite

Loading the full text…

Download Follow Updates