News for hackers. Stuff that matters.

A comment on Lisp is not based on the Lambda Calculus. Parent comment

Re:Lisp is not based on the Lambda Calculus by carlehewitt on Wednesday August 14, 2019 @07:09PM (#20700948)
There is a strongly-typed definition of Y here:

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3418003

[ Parent | on HN ]
Re:Lisp is not based on the Lambda Calculus by ProfHewitt on Thursday August 15, 2019 @11:24PM (#20711919)
Some enterprising hacker should research who should be credited for the strongly-typed recursive def of Y.
[ Parent | on HN ]