APA-Zitierstil (7. Ausg.)

Pistone, P. (2021, June 29). On Generalized Metric Spaces for the Simply Typed Lambda-Calculus. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-14. https://doi.org/10.1109/LICS52264.2021.9470696

Chicago-Zitierstil (17. Ausg.)

Pistone, Paolo. "On Generalized Metric Spaces for the Simply Typed Lambda-Calculus." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-14. https://doi.org/10.1109/LICS52264.2021.9470696.

MLA-Zitierstil (9. Ausg.)

Pistone, Paolo. "On Generalized Metric Spaces for the Simply Typed Lambda-Calculus." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-14, https://doi.org/10.1109/LICS52264.2021.9470696.