Outline of a Proof Theory of Parametricity

@inproceedings{Mairson1991OutlineOA,
  title={Outline of a Proof Theory of Parametricity},
  author={Harry G. Mairson},
  booktitle={FPCA},
  year={1991}
}
Highly Cited
This paper has 37 citations. REVIEW CITATIONS