Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!hellgate.utah.edu!cs.utah.edu!mantha
From: mantha@cs.utah.edu (Surya M Mantha)
Newsgroups: comp.theory
Subject: request for tech. reports from u of london, cambridge and edinburgh
Message-ID: <1989Nov14.130216.1794@hellgate.utah.edu>
Date: 14 Nov 89 20:02:16 GMT
Distribution: usa
Organization: University of Utah CS Dept
Lines: 32


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.