Lambda Calculus Expressions Reduced with REGEX

Luminița Pistol () and Radu BUCEA-MANEA-ȚONIȘ ()
Additional contact information
Luminița Pistol: Spiru Haret University, Bucharest
Radu BUCEA-MANEA-ȚONIȘ: Stefannini, Bucharest

International Conference on Economic Sciences and Business Administration, 2016, vol. 3, issue 1, 123-127

Abstract: The paper aim is to demonstrate the usefulness of the lambda calculus in programming. In this respect we used javascript alongside with regular expressions to accomplish the substitutions. Firstly there are presented the structure and syntax of the lambda calculus. After that, we provided examples of substitutions on the most popular lambda functions: successor, plus, multiply and the Y combinator. For each example we providedthe equivalent code in javascript for each rule of substitution we had used.

Keywords: lambda; redex; alpha/beta reduction (search for similar items in EconPapers)
JEL-codes: M15 (search for similar items in EconPapers)
Date: 2016
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://icesba.eu/RePEc/icb/wpaper/ICESBA2016_15Pistol_p123_127.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:icb:wpaper:v:3:y:2016:i:1:123-127

Access Statistics for this article

International Conference on Economic Sciences and Business Administration is currently edited by Manuela Epure

More articles in International Conference on Economic Sciences and Business Administration from Spiru Haret University
Bibliographic data for series maintained by Rocsana Bucea-Manea-Tonis ().