Back to Notations

for Lambda Abstraction

A function definition in lambda calculus

Syntax Forms

Typst $lambda x. e$
LaTeX \lambda x. e

Semantic Information

Also Known As
  • • function literal
  • • anonymous function
  • • lambda expression
Categories
lambda calculus PLT functional programming

Academic Usage

Types and Programming Languages

Benjamin C. Pierce • 2002

Context: Used throughout the book

Referenced on page 15

A Theory of Objects

Martín Abadi, Luca Cardelli • 1996

Context: Extended with object-oriented features

Referenced on page 23