3 ms·
Did he invent Binary Lambda Calculus as well?!?
by batgaijin 14y ago
Did he invent Binary Lambda Calculus as well?!?
- jlgreco 14y ago"Binary lambda calculus is a new idea introduced by John Tromp in 2008" Apparently so. Wow.
- jrajav 14y agoHe actually first mentioned the idea as early as 2004: http://web.archive.org/web/20040602202609/http://homepages.cwi.nl/~tromp/cl/cl.html http://web.archive.org/web/20040602202609/http://homepages.c...