cgw87

T. Coquand, Gunter C, Winskel G.. Domain Theoretic Models of Polymorphism. Research Report University of Cambridge, No 116, September 1987.

Keyword

[ Parametricity ]

Contact

Thierry Coquand
Gunter C.
Winskel G.

BibTex Reference

@TechReport{cgw87,
   Author = {Coquand, T. and C, Gunter and G, Winskel},
   Title = {Domain Theoretic Models of Polymorphism},
   Number = {116},
   Institution = {University of Cambridge},
   Month = {September},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)