Käsbauer, M. «First-Order Semantics for Higher-Order Languages». Crítica. Revista Hispanoamericana De Filosofía, vol. 9, n.º 25, octubre de 2018, pp. 59-71, doi:10.22201/iifs.18704905e.1977.221.