Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties

@inproceedings{Hasegawa1991ParametricityOE,
  title={Parametricity of Extensionally Collapsed Term Models of Polymorphism and Their Categorical Properties},
  author={Ryu Hasegawa},
  booktitle={TACS},
  year={1991}
}
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…