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

Nigiyan Nigiyan

This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

This work is licensed under Creative Commons Attribution–NonCommercial International License (CC BY-NC 4.0).

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.

Author(s)

Table of Contents

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

Abstract

Author(s)

Table of Contents

Related Articles

ON UNIQUENESS OF HOLOMORPHIC AND BOUNDED OUTSIDE THE CLOSED LOGARITHMIC SECTOR FUNCTIONS REPRESENTABLE BY LACUNARY POWER SERIES

COMPUTER DETECTING AND PROCESSING OF THE SIGNALS OF A FLAT-COIL ABSOLUTE-POSITION SENSOR BASED SEISMIC DETECTOR

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

Abstract

Subscribe to TheGufo Newsletter​

Subscribe to TheGufo Newsletter