Record Details

Lambda Calculus Expressions Reduced with REGEX


View Archive Info
Field Value
Authentication Code dc
Title Statement Lambda Calculus Expressions Reduced with REGEX
Added Entry - Uncontrolled Name Luminita PISTOL; Spiru Haret University, Bucharest, RomaniaTel: + 4021 455 10 40, Fax: + 4021 316 97 93,
Radu BUCEA-MANEA-TONIS; Stefanini ADC, Building BOB, Entrance C, 3rd and 5th Floor, Bulevardul Dimitrie Pompeiu 6A, București 020337, Bucharest, Romania, Email:
Uncontrolled Index Term INNOVATION
lambda, redex, regex, alpha/beta reduction.
Summary, etc. 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 provided the equivalent code in javascript for each rule of substitution we had used.
Publication, Distribution, Etc. ICESBA 2016: International Conference on Economic Sciences and Business Administration
2016-09-22 09:31:11
Index Term - Genre/Form Peer-reviewed Paper
Electronic Location and Access application/pdf
Data Source Entry ICESBA 2016: International Conference on Economic Sciences and Business Administration; ICESBA 2016 INTERNATIONAL CONFERENCE ON ECONOMIC SCIENCES AND BUSINESS ADMINISTRATION 3rd edition
Language Note en
Terms Governing Use and Reproduction Note Authors who submit to this conference agree to the following terms:<br /> <strong>a)</strong> Authors retain copyright over their work, while allowing the conference to place this unpublished work under a <a href="">Creative Commons Attribution License</a>, which allows others to freely access, use, and share the work, with an acknowledgement of the work's authorship and its initial presentation at this conference.<br /> <strong>b)</strong> Authors are able to waive the terms of the CC license and enter into separate, additional contractual arrangements for the non-exclusive distribution and subsequent publication of this work (e.g., publish a revised version in a journal, post it to an institutional repository or publish it in a book), with an acknowledgement of its initial presentation at this conference.<br /> <strong>c)</strong> In addition, authors are encouraged to post and share their work online (e.g., in institutional repositories or on their website) at any point before and after the conference.