Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!mcvax!ukc!dcl-cs!nott-cs!abc
From: abc@nott-cs.UUCP (Andy Cheese)
Newsgroups: net.lang.lisp,net.lang.prolog,net.ai
Subject: References
Message-ID: <6187@robin.nott-cs.UUCP>
Date: Thu, 3-Apr-86 17:22:39 EST
Article-I.D.: robin.6187
Posted: Thu Apr  3 17:22:39 1986
Date-Received: Wed, 9-Apr-86 21:12:36 EST
Reply-To: abc@nott-cs.UUCP (Andy Cheese)
Organization: Computer Science, Nottingham Univ., UK.
Lines: 20
Xref: watmath net.lang.lisp:779 net.lang.prolog:695 net.ai:3378

I currently post out a reference database on functional and logic
languages, denotational semantics and formal methods to various people.
It is never up to date but i add more when i have the time. If anybody
is interesting in recieving a copy, i post it at the beginning of every
month, please reply and i will add you to my distribution list.

Andy Cheese
Department of Computer Science
University of Nottingham
University Park
Nottingham
NG7 2RD
England

ARPA : abc@uk.ac.nott.cs

UUCP : ukc!nott.cs!abc

-- 
Andy Cheese