A Temporal Logic for Higher-Order Functional Programs. - Yuya Okuyama; Takeshi Tsukada; Naoki Kobayashi 001 (SAS, 2019)