Beta-reduction

From PKC
(Redirected from Function evaluation)
Jump to navigation Jump to search

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