mantha@cs.utah.edu (Surya M Mantha) (11/15/89)
This has little to do with the interesting discussions going on in this newsgroup. I am looking for some tech. reports from the University of London, Cambridge and Edinburgh. I don't have the postal addresses, and also, I thought this way I could get them faster. Folks in the comp. science depts. at the Queen Mary College and Imperial College, U of London, Cambridge and Edinburgh are requested to respond; either by sending me the address of the office I could get the tech. reports from, or (preferably) by mailing a copy of the report to the address given below. I will gladly pay for document and he mailing expenses. 1) Samson Abramsky: Domain theory and the Logic of Observable Properties, PhD Thesis, Queen Mary College, University of London, 1987. 2) C-H. L. Ong: The Lazy Lambda Calculus: An Investigation into the Foundations of Functional Programming, PhD Thesis, Imperial College, University of London, 1988. 3)Gordon Plotkin: Post-Graduate Lecture Notes in Advanced Domain Theory Dept. of Computing Science, University of Edinburgh, 1981. 4)Paul Taylor: Recursive Domains, Indexed Category Theory and Polymorphism, PhD thesis, University of Cambridge, 1986. Thanks a lot!! Surya Mantha Dept. of Computer Science, University of Utah, Salt Lake City, Utah 84112, U.S.A.