Computer Laboratory

Technical reports

Domain theoretic models of polymorphism

Thierry Coquand, Carl Gunter, Glynn Winskel

September 1987, 52 pages

Full text

Only available on paper (could be scanned on request).

BibTeX record

@TechReport{UCAM-CL-TR-116,
  author =	 {Coquand, Thierry and Gunter, Carl and Winskel, Glynn},
  title = 	 {{Domain theoretic models of polymorphism}},
  year = 	 1987,
  month = 	 sep,
  institution =  {University of Cambridge, Computer Laboratory},
  address =	 {15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom,
          	  phone +44 1223 763500},
  number = 	 {UCAM-CL-TR-116}
}