Käsbauer M. First-Order Semantics for Higher-Order Languages. CRHF [Internet]. 2018 Oct. 31 [cited 2025 Jan. 3];9(25):59-71. Available from: https://critica.filosoficas.unam.mx/index.php/critica/article/view/221