Beta-reduction

From PKC
Jump to navigation Jump to search

Beta reduction is a term specifically defined in the context of Lambda calculus.