A Cyclic Proof System for HFL_ℕ.

Mayuko Kori, Takeshi Tsukada, Naoki Kobayashi

Browse the full CSL paper archive.