Liśkiewicz, M., Reischuk, R., & Schubert, A. (2005). A Self-dependency Constraint in the Simply Typed Lambda Calculus. https://doi.org/10.1007/11537311_31
ISO-690 (author-date, English)LIŚKIEWICZ, Maciej, REISCHUK, Rüdiger und SCHUBERT, Aleksy, 2005. A Self-dependency Constraint in the Simply Typed Lambda Calculus.
Modern Language Association 9th editionLiśkiewicz, M., R. Reischuk, und A. Schubert. A Self-dependency Constraint in the Simply Typed Lambda Calculus. 2005, https://doi.org/10.1007/11537311_31.
Mohr Siebeck - Recht (Deutsch - Österreich)Liśkiewicz, Maciej/Reischuk, Rüdiger/Schubert, Aleksy: A Self-dependency Constraint in the Simply Typed Lambda Calculus., 2005.
Emerald - HarvardLiśkiewicz, M., Reischuk, R. und Schubert, A. (2005), A Self-dependency Constraint in the Simply Typed Lambda Calculus., Bd. , verfügbar unter:https://doi.org/10.1007/11537311_31.