Reduction from branching-time property verification of higher-order programs to HFL validity checking. - Keiichi Watanabe; Takeshi Tsukada; Hiroki Oshikawa; Naoki Kobayashi 001 (PEPM@POPL, 2019)