Käsbauer, M. “First-Order Semantics for Higher-Order Languages”. Crítica. Revista Hispanoamericana De Filosofía, vol. 9, no. 25, Oct. 2018, pp. 59-71, doi:10.22201/iifs.18704905e.1977.221.