Linux Today: Linux News On Internet Time.
Search Linux Today
Linux News Sections:  Developer -  High Performance -  Infrastructure -  IT Management -  Security -  Storage -
Linux Today Navigation
LT Home
Contribute
Contribute
Link to Us
Linux Jobs


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: