CPS変換がよくわかりません
何かいい参考文献ありますでしょうか

特に関数適用のCPS変換式(plotkin)はCPS(M N) = λk.M (λm.N (λn.(m n) k))
この時いくつかやってみると
M=λab.a,N=λa.aの時　CPS(MN)=λkbmn.mnk　MN=λab.b
M=λab.a,N=λxy.yxの時　CPS(MN)=λkbmy.y (λn.m n k) MN=λabc.cb
M=λa.a a,N=λxyz,xz(yz)の時　CPS(MN)=λkyz.z (y z) k (k (y z))　MN=λabc.bc(abc)
となり、MNとCPS(MN)はぱっと見、単純な相関はないように見えます
等価変換に毛が生えた程度だと思っていたので
よくわからなくなりました