Proofs in continuation-passing style: normalization of Gdel's System T extended with sums and delimited control operators: Distilled Tutorial.

Danko Ilik

Browse the full PPDP paper archive.