Lambda calculus: Why true and false are functions and not constants

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.

Get the Free Newsletter!

Subscribe to Developer Insider for top news, trends, & analysis