Lambda Calculus - CS 152 (Spring 2021) - Harvard University
Lambda Calculus
CS 152 (Spring 2021) Harvard University
Tuesday, February 16, 2021
1
Today, we will learn about
Lambda calculus Full -reduction Call-by-value semantics Call-by-name semantics
2
Lambda calculus: Intuition
A function is a rule for determining a value from an argument. Some examples of functions in mathematics are
f (x) = x3 g (y ) = y 3 - 2y 2 + 5y - 6.
3
Pure vs Applied Lambda Calculus
The pure -calculus contains just function definitions (called abstractions), variables, and function applications. If we add additional data types and operations (such as integers and addition), we have an applied -calculus.
4
Pure Lambda Calculus: Syntax
e ::= x | x. e | e1 e2
variable abstraction application
5
................
................
In order to avoid copyright disputes, this page is only a partial summary.
To fulfill the demand for quickly locating and searching documents.
It is intelligent file search solution for home and business.
Related download
- lambda calculus cs 152 spring 2021 harvard university
- topic 1 evaluating and simplifying algebraic expressions
- quadratic functions and transformations
- 4 4 28 graphing equations of lines slope interecpt multiple
- assignment 7 solution university of california berkeley
- math 1b—solution set for chapters 8 1 8
- chapter solutions key 11 circles
Related searches
- harvard university annual budget
- harvard university financial statements 2018
- harvard university medical school
- harvard university operating budget
- harvard university annual report
- harvard university school of medicine
- harvard university med school requirements
- harvard university medical articles
- harvard university cost calculator
- harvard university citation pdf
- harvard university sign
- harvard university 2020 2021