Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison.

Amy P. Felty, Brigitte Pientka

Browse the full ITP paper archive.