Title :
An Introduction to Lambda Calculus and Functional Programming
Author_Institution :
Inst. de Inf., Univ. Fed. do Rio Grande do Sul, Porto Alegre, Brazil
Abstract :
Lambda calculus is a formal system built around the concepts of function definition and function application. It is a minimalistic Turing-computable system that has a great influence on the design of functional programming. This paper is a tutorial on the untyped lambda calculus and its use as an idealised programming language.
Keywords :
Turing machines; functional programming; lambda calculus; function application; function definition; functional programming; idealised programming language; lambda calculus; minimalistic Turing-computable system; Calculus; Computer languages; Frequency modulation; Functional programming; Sections; Syntactics; Functional Programming; Lambda Calculus;
Conference_Titel :
Theoretical Computer Science (WEIT), 2013 2nd Workshop-School on
Conference_Location :
Rio Grande
DOI :
10.1109/WEIT.2013.40
