> The lambda terms introduce local binding which throws off an algebraic represe... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		0xdeadbeefbabe on Dec 7, 2016 \| parent \| context \| favorite \| on: A Short Introduction to the Lambda Calculus (2004)... > The lambda terms introduce local binding which throws off an algebraic representation. Doesn't rho for renaming in relational algebra also have local binding? It's good to know the reasons are historical though.

tel on Dec 7, 2016 [–]

Could be that the relational algebra isn't so much an algebra either. Also could be that the renaming isn't really part of the "core" algebra. I'm not in particular familiar with the relational algebra, though.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact