A Logic for Reasoning with Higher-Order Abstract Syntax.

Raymond McDowell, Dale Miller

Browse the full LICS paper archive.