Report copyright - Structural subtyping for inductive types with functorial equality ruleszhaohui/Trans2.pdf · 2007. 5. 30. · (See [LL05] for more details.) From this, it is fair to say that the
Please pass captcha verification before submit form
Please pass captcha verification before submit form