Report copyright - GitHub Pagesjyp.github.io/pdf/Doc-Revised.pdf · A Theory of Parametric Polymorphism and an Application A formalisation of parametric polymorphism within and about dependent type-theory,
Please pass captcha verification before submit form