Lambda calculus: Why true and false are functions and not constantsDec 08, 2012, 15:00 (4 Talkback[s])
(Other stories by Erik Poupaert)
Representing true and false as constants may not be a suitable practice. The lambda calculus insists that they are functions. Here an analysis as to why the lambda calculus seems to be right on this point.
0 Talkback[s] (click to add your comment)