APA (7th ed.) Citation

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 Style (17th ed.) Citation

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 ed.) Citation

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.