Compositional higher-order model checking via

Takeshi Tsukada, C.-H. Luke Ong

Browse the full CSL paper archive.