Käsbauer M. First-Order Semantics for Higher-Order Languages. CRHF [Internet]. 31 de octubre de 2018 [citado 3 de julio de 2024];9(25):59-71. Disponible en: https://critica.filosoficas.unam.mx/index.php/critica/article/view/221