Report copyright - Reasoning with Higher-Order Abstract Syntax in a Logical ... · Reasoning with Higher-Order Abstract Syntax 3 (pronounced \fold-n"). To illustrate the use of FO IN, we derive several
Please pass captcha verification before submit form