2
Continuación pasando transformada de funciones binarias
Recordemos la transformación de paso de continuación (transformación CPS) que lleva a β A : = R R A (donde R está fijo) yf : A → B a β f : β A → β B definido por βAAAβA:=RRAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}RRRf:A→Bf:A→Bf : A \to Bβf:βA→βBβf:βA→βB\beta f : \beta …