Report copyright - A New Approach toamp12/talks/heriot-watt.pdf · 3. Useful forms of structural recursion and induction. 4. Familiarity! —formalise existing practice, e.g. † support reasoning with
Please pass captcha verification before submit form
Please pass captcha verification before submit form