Proceedings of the Yerevan State University, series Physical and Mathematical Sciences
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
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:168
    Full-text PDF :50
    References:39
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025