A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes.

Naoki Kobayashi, C.-H. Luke Ong

Browse the full LICS paper archive.