A Type-Based HFL Model Checking Algorithm. - Youkichi Hosoi; Naoki Kobayashi 001; Takeshi Tsukada (APLAS, 2019)