An Axiomatic System of Parametricity

Fundamenta Informaticae

Volumn 33, Issue 4, 1998, Pages 397-432

  Takeuti, Izumi ^a  

^a KYOTO UNIVERSITY   (Japan)

Author keywords

Parametricity; Polymorphism; Typed lambda calculus

Indexed keywords

EID: 0142118734     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1998-33404     Document Type: Article

References (9)

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, pages 117-309, Oxford Univ. Press, 1992, edited by S. Abramsky et al.
3. R. Bellucci, Martin Abadi and 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, pages 32-46, Springer Verlag, 1995, edited by G. Plotkin et al.
4. J.-Y. Girard et al. Proofs and Types, Cambridge Univ. Press, 1989.
5. R. Harper, F. Honsell and G. Plotkin. A Framework for Defining Logics. Journal of the Association for Computing Machinery, 40:143-184, 1993.
6. R. Hasegawa. Parametricity of extensionally collapsed term models of polymorphism and their categorical properties. In Proceedings of Theoretical Aspects of Computer Science, Lecture Notes In Computer Science 526, pages 495-512, Springer-Verlag, 1991, edited by T. Ito et al.
7. R. Hasegawa. Categorical data types in parametric polymorphism. In Mathematical Structures in Computer Science, 4:71-109, 1994.
8. G. Plotkin and M. Abadi. A Logic for parametric polymorphism. In Typed Lambda Calculi and Applications, Lecture Notes in Computer Science, 664, pages 361-375, Springer Verlag, 1993, edited by M. Bezem et al.
9. J. C. Reynolds. Types, abstraction and parametric polymorphism. In R. E. A. Mason, editor, Information Processing 83, pages 513-523, Elsevier Science Publishers B. V., 1983.