Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. M. Abadi, L. Cardelli and P.-L. Curien. Formal parametric polymorphism. Theoretical Computer Science, 121, 9–58, 1993.
2. H. Barendregt. Lambda Calculi with Types. In Handbook of Logic in Computer Science, Vol. 2, 117–309, Oxford Univ. Press, 1992.
3. R. Bellucci, Martin Abadi, P.-L. Curien. A Model for Formal Parametric Polymorphism: A PER Interpretation for system R. In Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, 902, Springer-Verlag, pp.32–46, 1995.
4. J.-Y. Girard, et al., Proofs and Types Cambridge Univ. Press, 1989.
5. R. Hasegawa. Parametricity of extensionally collapsed term models of polymorphism and their categorical properties. In Proceeding of Theoretical Aspects of Computer Science, Lecture Notes In Computer Science 526, pp. 495–512, Springer-Verlag 1991.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献