M. Käsbauer, «First-Order Semantics for Higher-Order Languages», CRHF, vol. 9, n.º 25, pp. 59–71, oct. 2018.