Two Results on Set-Theoretic Polymorphism
Authors:
Wesley Phoa
Affiliations:
-
Venue:
Proceedings of the 4th International Conference on Category Theory and Computer Science
Year:
1991
Citing
0
Cited
1
Parametricity and local variables
Journal of the ACM (JACM)
Quantified Score
Hi-index
0.00
Visualization
Abstract