Home//Concepts/Beta reduction

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Overviewjust now

154

2

4

1082

3

2

24

633

Dimensional inference rule formatjust now Abstract binding graphjust now Abstract binding tree abtjust now Abstract binding tree abt valence abstractorjust now Abstract data typejust now

408

11

4

Concept

Beta reduction

Modified just now

Books

Chapter 5. The untyped/pure lambda-calculus

JourneyProgramming Language Theory Statusmastered Tags

lambda calculus
semantics

The act of reducing a Beta-redex/Reducible expression by substituting the redex's argument into its function body.

Previous in ConceptsBeta redex reducible expression Next in Concepts Beta reduction beta redex reducible expression

Books

Chapter 5. The untyped/pure lambda-calculus

JourneyProgramming Language Theory

Statusmastered

Tags

lambda calculus
semantics