Reduction from branching-time property verification of higher-order programs to HFL validity checking.

Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, Naoki Kobayashi

Browse the full PEPM paper archive.