CPS translation (Plotkin,1975)

Published:

Slide

This slide includes a proof of the simulation theorem.