Παραπομπή σε μορφή APA (7η εκδ.)

González-Castillo, S. (2025). Mathematical Structures Within Simple Type Theory. Studia Logica: An International Journal for Symbolic Logic, 113(6), 1513. https://doi.org/10.1007/s11225-024-10133-1

Παραπομπή σε μορφή Chicago (17η εκδ.)

González-Castillo, Samuel. "Mathematical Structures Within Simple Type Theory." Studia Logica: An International Journal for Symbolic Logic 113, no. 6 (2025): 1513. https://doi.org/10.1007/s11225-024-10133-1.

Παραπομπή σε μορφή MLA (9th εκδ.)

González-Castillo, Samuel. "Mathematical Structures Within Simple Type Theory." Studia Logica: An International Journal for Symbolic Logic, vol. 113, no. 6, 2025, p. 1513, https://doi.org/10.1007/s11225-024-10133-1.