An Introduction to Lambda Calculus and Functional Programming

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 id...

Full description

Saved in:
Bibliographic Details
Published in:2013 2nd Workshop-School on Theoretical Computer Science pp. 26 - 33
Main Author: Machado, Rodrigo
Format: Conference Proceeding
Language:English
Published: IEEE 01.10.2013
Subjects:
Calculus
Computer languages
Frequency modulation
Functional programming
Lambda Calculus
Sections
Syntactics
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/WEIT.2013.40