1. H. Barendregt . 1984. The Lambda Calculus: its Syntax and Semantics (revised ed.). North-Holland , Amsterdam . https://doi.org/10.2307/2274112 10.2307/2274112 H. Barendregt. 1984. The Lambda Calculus: its Syntax and Semantics (revised ed.). North-Holland, Amsterdam. https://doi.org/10.2307/2274112
2. Some properties of conversion
3. P.-L. Curien and H. Herbelin . 2000. The Duality of Computation . In Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP’00) (ACM Sigplan Notices), Vol. 35.9. ACM, 233–243. https://doi.org/10.1145/351240.351262 10.1145/351240.351262 P.-L. Curien and H. Herbelin. 2000. The Duality of Computation. In Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP’00)(ACM Sigplan Notices), Vol. 35.9. ACM, 233–243. https://doi.org/10.1145/351240.351262
4. Grundlagen der Kombinatorischen Logik
5. Call-By-Push-Value from a Linear Logic Point of View