Booleano di Church
Da Wikipedia, l'enciclopedia libera.
In informatica, un booleano di Church è una funzione concettuale che prende in considerazione due parametri di valutazione oziosi (come i blocchi o i lambda) e valuta o l'uno o l'altro. Il concetto prende il nome da Alonzo Church, inventore del lambda calcolo. Ci sono solo due booleani di Church: vero e falso. Alcuni linguaggi di programmazione li usano come modello di implementazione per l'aritmetica booleana, esempi sono lo Smalltalk e il Pico.
Definizione formale nel lambda calcolo:
vero=λab.afalso=λab.b
