2
Transformasi kelanjutan dari fungsi biner
Ingat transformasi passing lanjutan (transformasi CPS) yang membawa AAA ke βA:=RRAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A} (di mana RRR adalah tetap) dan f:A→Bf:A→Bf : A \to B ke βf:βA→βBβf:βA→βB\beta f : \beta A \to \beta B didefinisikan oleh Sebenarnya kita memilikikelanjutan monaddengan satuan η A : A → β A yang didefinisikan …