Author:
Bellucci Roberto,Abadi Martin,Curien Pierre-Louis
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. M. Abadi, L. Cardelli, and P.-L. Curien. Formal parametric polymorphism. In A Collection of Contributions in Honour of Corrado Böhm on the Occasion of his 70th Birthday, volume 121 of Thoretical Computer Science, pages 9–58, 1993. An early version appeared in the Proceedings of the 20th Ann. ACM Sump. on Principles of Programming Languages.
2. A. Asperti and S. Martini. Categorical models of polymorphism. Information and Computation, 99:1–79, 1992.
3. H.P. Barendregt. The Lambda Calculus. Its Syntax and Semantics. Number 103 in Studies in Logic and the Foundations of Mathematics. North-Holland, 1984. Revised edition.
4. E.S. Bainbridge, P. Freyd, A. Scedrov, and P.J. Scott. Functorial polymorphism. Theoretical Computer Science, 70:35–64, 1990.
5. J.-Y. Girard. Interprétation fonctionnelle et élimination des coupures dans l'arithmétique d'ordre supérieur. Thèse de Doctorat d'Etat, Université Paris VII, 1972.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Internal and Observational Parametricity for Cubical Agda;Proceedings of the ACM on Programming Languages;2024-01-05
2. Semantic and Syntactic Approaches to Simulation Relations;Mathematical Foundations of Computer Science 2003;2003
3. An axiomatic system of parametricity;Lecture Notes in Computer Science;1997