Beta-reduction
Revision as of 13:47, 19 May 2022 by Benkoo (talk | contribs) (Created page with "[https://prl.ccs.neu.edu/blog/2016/11/02/beta-reduction-part-1/ Beta reduction] is a term specifically defined in the context of Lambda calculus.")
Beta reduction is a term specifically defined in the context of Lambda calculus.