![Computability theory / Mathematical logic / Theoretical computer science / Mathematics / Differential topology / Orbifold / Combinatory logic Computability theory / Mathematical logic / Theoretical computer science / Mathematics / Differential topology / Orbifold / Combinatory logic](https://www.pdfsearch.io/img/2dab831e5a8099b4b3afec0b1ed67c71.jpg) Date: 2011-11-28 07:13:57Computability theory Mathematical logic Theoretical computer science Mathematics Differential topology Orbifold Combinatory logic | | The CPS transform from Griffin. Let us first repeat what Herman already showed on the blackboard. The definition of the CPS transform in Griffin is: x = λk. kx λx. M = λk. k (λx. M ) M N = λk. M (λm. N (λn. mnk)) Add to Reading ListSource URL: www.cs.ru.nlDownload Document from Source Website File Size: 38,73 KBShare Document on Facebook
|