2
İkili fonksiyonların sürekli geçiş dönüşümü
Alır (CPS dönüşümü) dönüşümü devam geçen hatırlayın için p A : = R ' R' bir (ki burada R ' sabitlenmiştir) ve f : A → B için β f : β bir → β B ile tanımlanan pbirAAβA : = RR,birβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}R,RRf: A → Bf:A→Bf : A …