KÄSBAUER, M. First-Order Semantics for Higher-Order Languages. Crítica. Revista Hispanoamericana de Filosofía, [S. l.], v. 9, n. 25, p. 59–71, 2018. DOI: 10.22201/iifs.18704905e.1977.221. Disponível em: https://critica.filosoficas.unam.mx/index.php/critica/article/view/221. Acesso em: 3 jul. 2024.