[Prev][Next][Index][Thread]
No Subject
>From accumv!mcvax!THEORY.LCS.MIT.EDU!meyer Mon May 30 23:32:10 1988
Return-Path: <accumv!mcvax!THEORY.LCS.MIT.EDU!meyer>
Received: by ruufil.uucp (3.2/SMI-3.2)
id AA05852; Mon, 30 May 88 23:32:08 +0200
Received: by mcvax.cwi.nl; Sat, 28 May 88 19:51:42 +0200 (MET)
Received: from THEORY.LCS.MIT.EDU by uunet.UU.NET (5.54/1.14)
id AA04885; Sat, 28 May 88 13:37:15 EDT
Received: from STORK.LCS.MIT.EDU by THEORY.LCS.MIT.EDU (4.12/4.7); Sat, 28 May 88 13:34:37 edt
Received: by STORK.LCS.MIT.EDU (4.12/4.7); Sat, 28 May 88 13:34:34 edt
Date: Sat, 28 May 88 13:34:34 edt
From: Albert R. Meyer <mcvax!THEORY.LCS.MIT.EDU!meyer>
Message-Id: <8805281734.AA03967@STORK.LCS.MIT.EDU>
To: ferjan@ruufil.uucp
In-Reply-To: Fer-Jan de Vries's message of Fri, 27 May 88 13:40:23 +0200 <8805271140.AA04008@ruufil.uucp>
Subject: types confirm
Reply-To: mcvax!theory.lcs.mit.edu!types-request
Status: R
Date: Fri, 27 May 88 13:40:23 +0200
From: mcvax!ruufil!ferjan@uunet.UU.NET (Fer-Jan de Vries)
Via Andy Pitts I learned about the existence of a types-netwerk and a logic network.
Is it possible to put me on the mailing lists of these things?
My address is:
Fer-jan de Vries
Logic Group/Dept. of Phil.
University of Utrecht
Heidelberglaan 2
3584 CS Utrecht
The netherlands
mcvax!ruufil!fries
Kind regards
Fer-Jan
--------------------------------
Please confirm that the above address works and include a copy of this
message and its headers with your reply.
Yours truly,
Prof. Albert R. Meyer
MIT Lab. for Computer Science
Moderator, TYPES@theory.lcs.mit.edu
P.S. Please address administrative types mail on internet to:
types-request@theory.lcs.mit.edu
Thanks, A.
_---------------------------------------------------------
I am grateful for your quick reply.
There seems to be no trouble with an involved addresses.
I would be much obliged if you can also give me information on the
LOGICS-network.
Yours truly,
Fer-Jan de Vries.