M. Käsbauer, “First-Order Semantics for Higher-Order Languages”, CRHF, vol. 9, no. 25, pp. 59–71, Oct. 2018.