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