• DocumentCode
    1653494
  • Title

    An Introduction to Lambda Calculus and Functional Programming

  • Author

    Machado, Rubens

  • Author_Institution
    Inst. de Inf., Univ. Fed. do Rio Grande do Sul, Porto Alegre, Brazil
  • fYear
    2013
  • Firstpage
    26
  • Lastpage
    33
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Theoretical Computer Science (WEIT), 2013 2nd Workshop-School on
  • Conference_Location
    Rio Grande
  • Type

    conf

  • DOI
    10.1109/WEIT.2013.40
  • Filename
    6778561
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1653494