C-SHORe: a collapsible approach to higher-order verification.

Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre

Browse the full ICFP paper archive.