On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.

Christopher H. Broadbent, C.-H. Luke Ong

Browse the full FOSSACS paper archive.