Multi-level Meta-reasoning with Higher-Order Abstract Syntax.

Alberto Momigliano, Simon Ambler

Browse the full FOSSACS paper archive.