Käsbauer, Max. “First-Order Semantics for Higher-Order Languages”. Crítica. Revista Hispanoamericana de Filosofía 9, no. 25 (October 31, 2018): 59–71. Accessed March 13, 2025. https://critica.filosoficas.unam.mx/index.php/critica/article/view/221.