mairson91a

H. Mairson. Outline of a Proof Theory of Parametricity. In Proc. Conf. on Functional Programming Languages and Computer Architecture (FPCA), Cambridge, Massachusetts, August 1991.

Keyword

[ Parametricity ]

Contact

H.G. Mairson

BibTex Reference

@InProceedings{mairson91a,
   Author = {Mairson, H.},
   Title = {Outline of a Proof Theory of Parametricity},
   BookTitle = {Proc. Conf. on Functional Programming Languages and Computer Architecture (FPCA), Cambridge, Massachusetts},
   Publisher = {Springer},
   Month = {August},
   Year = {1991}
}

EndNote Reference [help]

Get EndNote Reference (.ref)