ISO-690 (author-date, English)

TIMANY, Amin, KREBBERS, Robbert, DREYER, Derek und BIRKEDAL, Lars, 2024. A Logical Approach to Type Soundness. Journal of the ACM. 1 Dezember 2024. Vol. 71, no. 6, p. 1-75. DOI 10.1145/3676954.

Elsevier - Harvard (with titles)

Timany, A., Krebbers, R., Dreyer, D., Birkedal, L., 2024. A Logical Approach to Type Soundness. Journal of the ACM 71, 1-75. https://doi.org/10.1145/3676954

American Psychological Association 7th edition

Timany, A., Krebbers, R., Dreyer, D., & Birkedal, L. (2024). A Logical Approach to Type Soundness. Journal of the ACM, 71(6), 1-75. https://doi.org/10.1145/3676954

Springer - Basic (author-date)

Timany A, Krebbers R, Dreyer D, Birkedal L (2024) A Logical Approach to Type Soundness.. Journal of the ACM 71:1-75. https://doi.org/10.1145/3676954

Juristische Zitierweise (Stüber) (Deutsch)

Timany, Amin/ Krebbers, Robbert/ Dreyer, Derek/ Birkedal, Lars, A Logical Approach to Type Soundness., Journal of the ACM 2024, 1-75.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.