Linux Today: Linux News On Internet Time.

More on LinuxToday

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: