Käsbauer, M. First-Order Semantics for Higher-Order Languages. CRHF 2018, 9, 59-71.