Lambda calculus: Why true and false are functions and not constants
Dec 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.
Complete Story
Related Stories:
