## Harry G. Mairson

*Outline of a Proof Theory of Parametricity*

FPCA, 1991.

@inproceedings{FPCA-1991-Mairson, author = "Harry G. Mairson", booktitle = "{Proceedings of the Fifth ACM Conference on Functional Programming Languages and Computer Architecture}", doi = "10.1007/3540543961_15", isbn = "3-540-54396-1", pages = "313--327", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Outline of a Proof Theory of Parametricity}", volume = 523, year = 1991, }