S. A. Nigiyan, “$\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments”, Proceedings of the YSU, Physical and Mathematical Sciences, 53:3 (2019), 191

Loading [MathJax]/jax/output/CommonHTML/jax.js

Proceedings of the Yerevan State University, series Physical and Mathematical Sciences

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Proceedings of the YSU, Physical and Mathematical Sciences:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Proceedings of the Yerevan State University, series Physical and Mathematical Sciences, 2019, Volume 53, Issue 3, Pages 191–202 (Mi uzeru628)

Informatics

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

S. A. Nigiyan

Yerevan State University

Full-text PDF (182 kB)

References:

PDF

HTML

Abstract: 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.

Keywords: built-in McCarthy functions, indeterminate values of arguments,

$\lambda$ -definability.

Received: 22.11.2018
Revised: 23.05.2019
Accepted: 20.09.2019

Document Type: Article

MSC: 68N18

Language: English

Citation: S. A. Nigiyan, “

$\lambda$ -definability of built-in McCarthy functions as functions with indeterminate values of arguments”, Proceedings of the YSU, Physical and Mathematical Sciences, 53:3 (2019), 191–202

Citation in format AMSBIB

\Bibitem{Nig19}

\by S.~A.~Nigiyan

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

\jour Proceedings of the YSU, Physical  and Mathematical Sciences

\yr 2019

\vol 53

\issue 3

\pages 191--202

\mathnet{http://mi.mathnet.ru/uzeru628}

Linking options:

https://www.mathnet.ru/eng/uzeru628

https://www.mathnet.ru/eng/uzeru/v53/i3/p191

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Proceedings of the Yerevan State University, series Physical and Mathematical Sciences

Statistics & downloads:
Abstract page:	135
Full-text PDF :	33
References:	23

Registration to the website

Logotypes