Transformação de passagem contínua de funções binárias

Lembre-se da transformação de passagem de continuação (transformação CPS) que leva para β A : = R R A (onde R é fixo) ef : A → B para β f : β A → β B definida por βUMAUMAAβA : = RRUMAβUMA:=RRUMA\beta A \mathrel{{:}{=}} R^{R^A}RRRf: A → Bf:UMA→Bf : A \to Bβf: βA → βBβf:βUMA→βB\beta f : \beta A \to...