Ilik, D. (2014). Proofs in continuation-passing style: Normalization of Gdel's System T extended with sums and delimited control operators: Distilled Tutorial. Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 55. https://doi.org/10.1145/2643135.2643161
Παραπομπή σε μορφή Chicago (17η εκδ.)Ilik, Danko. "Proofs in Continuation-passing Style: Normalization of Gdel's System T Extended with Sums and Delimited Control Operators: Distilled Tutorial." Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming 2014: 55. https://doi.org/10.1145/2643135.2643161.
Παραπομπή σε μορφή MLA (9th εκδ.)Ilik, Danko. "Proofs in Continuation-passing Style: Normalization of Gdel's System T Extended with Sums and Delimited Control Operators: Distilled Tutorial." Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014, p. 55, https://doi.org/10.1145/2643135.2643161.