Returned mail: Host unknown

Mail Delivery Subsystem Postmaster@cs.mu.oz.au
Fri, 29 Apr 1994 11:27:31 +1000


   ----- Transcript of session follows -----
554 <rideau@clipper.eus.fr>... 550 Host unknown (Authoritative answer from name server)

------- Received message follows ----

Received: from munta.cs.mu.OZ.AU by mulga.cs.mu.OZ.AU with SMTP (5.83--+1.3.1+0.50); id AA17414
	Fri, 29 Apr 1994 11:27:31 +1000 (from winikoff)
Return-Path: <winikoff>
Received: by munta.cs.mu.OZ.AU (8.6.8.1/slave-1.1)
	id LAA07556; Fri, 29 Apr 1994 11:27:30 +1000
From: winikoff@cs.mu.OZ.AU
Message-Id: <199404290127.7556@munta.cs.mu.OZ.AU>
Subject: MOOSE and Hi!
To: rideau@clipper.eus.fr
Date: Fri, 29 Apr 94 11:27:30 EST
X-Mailer: ELM [version 2.3 PL11]


Hi!

I got your letter.
I'm currently very busy trying to finish a paper by tommorow so I'll
reply at length early next week.

My address is winikoff@cs.mu.oz.au (same as winikoff@mulga.cs.mu.oz.au)

I'm currently doing a PhD at Melbourne Uni in Linear Logic Programming
(Deriving/Designing/Implementing a logic programmning language based on 
linear rather than classical logic)

Michael -- more soon ...


------- Received message ends    ----