Multi-level meta-reasoning with higher order abstract syntax, in (0)

by A Momigliano, S Ambler
Venue:A. Gordon (Ed.), FOSSACS’03, in: LNCS