Subject: machines in a category
Date: Wed, 30 Jun 93 16:41:21 +1000
From: mahler@socs.uts.EDU.AU

Does anyone know of any work on this after Manes&Arbib74? In particular
they reference their own, to be published, Kleisli Machines. Did this
eventuate?

        thanks

        Daniel
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: Papers on sketches
Date: Sat, 3 Jul 93 22:21:46 -0400
From: cfw2@po.CWRU.Edu (Charles F. Wells)

The following items are now available by ftp from ftp.cwru.edu. 
They are in the math/wells directory.

sketch.dvi 
is the dvi file of a preliminary version of a report on sketches
that I was inspired to write because of the upcoming meeting on
Universal Algebra and Category Theory.  This is a brief outline
of the major ideas of sketch theory with an extensive
bibliography.

sketch.bib
is the BibTeX input file for sketch.dvi.  It contains quite a
few papers not actually mentioned in the report.  They all
involve category theory but they don't all involve sketches.

For those who are not familiar with BibTeX:  This is a program
that takes a paper written in TeX and a bibliography file in
BibTeX input form (such files always have names that end in
.bib) and produces a bibliography for the paper based on
citations in the paper.  Various BibTeX style files (they end in
.bst) are available to produce different styles.

BibTeX input form is very easy to understand.  Here are some of my
favorite examples:

@ARTICLE{powerwells,
author = "Power, A.J. and Charles Wells",
title = "A Formalism for the Specification of Essentially
Algebraic Structures in 2-Categories",
journal = "Mathematical Structures in
Computer Science",
Volume = "2",
year = "1992", 
pages = "1--28",
}

@BOOK{ctcs,
author = "Barr, Michael and Charles Wells",
title = "Category Theory for Computing Science",
publisher = "Prentice-Hall International",
year = "1990",
series = "Prentice-Hall International Series in Computer Science",
address = "New York",
note = "The document \cite{ctcsup} contains corrections and
additions to the book.",
}

In a paper writtei in TeX you would refer to the first one by
writing "\cite{powerwells}" and the reference would come out as
[Power and Wells, 1992] or [PW1992] or [1992] depending on the
style file used.  (You can make your own style file, too, if you
understand reverse Polish.)

My point in mentioning this is that a BibTeX input file (they
always end in .bib) can be _very__useful_ even if you have no
intention of ever using BibTeX, or TeX for that matter.  (Or a
computer, for that matter.)


Charles Wells

--

Charles Wells
Department of Mathematics
Case Western Reserve University

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: speaker list for MSRI meeting
Date: Sun, 4 Jul 93 16:32:40 -0700
From: Art Stone <stone@math.ubc.ca>



   The following list of speakers and titles for 40 talks came by
e-mail (in kind response to a telephone request).  Staff at MSRI
asked that I post it here on the category net.
   No times or dates for particular talks are given; they probably
have not yet been fixed.  There is a rumor (only) that the CATALGS
sequence will be given in the first week and the TOPOS sequence in
the second.
                                Art Stone
                                
   -------------------

MATHEMATICAL SCIENCES RESEARCH INSTITUTE
1000 Centennial Drive  * Berkeley, CA  94720  * (510) 642-0143
Universal Algebra and Category Theory Conference
July 12-23, 1993
Speakers

M. Albert       Unification
K. Baker        Varieties (finite basis problems)
M. Barr         HSP theory for general categories
G. Bergman      Adjoint functors in algebra
J. Berman       Finite clones, tame congruences
A. Blass        TOPOI IV) The logic of geometric morphisms
B. Davey        Natural dualities
R. Freese       Congruence modular varieties
P. Freyd        (tentative) Categorical logic and closed categories
J. Gray         CATALGS III) Sketches and object oriented-programming
M. Haiman       TBA
J. Hyndman      TBA
J. Isbell       Polynomial origami
J. Jezek        Varieties (lattices of varieties)
P. Johnstone    TOPOS III) Classifying toposes and geometric theories
A. Joyal        The Witt vector construction as a right adjoint
K. Kearnes      Categorical aspects of congruence modular varieties
M. Kelly        Maltsev & Goursat categories & central extensions
F. W. Lawvere   Graphic monoids
F. Linton       CATALGS I) Monads, algebraic theories and their algebras
S. Mac Lane     Introductory talk: Modern algebra, universal and categorical
  ----          TOPOS I) Introduction to topos theory
M. Makkai       Generalizing from posets of categories and beyond as the
                  heuristics for categorical logic
R. McKenzie     Varieties (overview)
G. McNulty      Varieties
I. Moerdijk     TOPOS II) Introduction to morphisms of topoi
S. Niefield     CATALGS IV) Algebras for chaos
R. ParE         Accessible categories
J. Rhodes       Global semigroup theory
M. Sapir        Algorithmic problems in varieties
S. Seif         Tame congruence theory and semigroups
R. Street       Higher dimensional categories
W. Taylor       Clones IR II
W. Tholen       Closure operators
M. Tierney      The ubiquity of Groupoids in homotopy theory
V. Trnkova      Topological spaces whose clones have @ segments
S. Tschantz     Maltsev conditions and clones
M. Valeriote    Varieties: Decidability, Vaught's conjecture, and
                  tame congruence theory
C. Wells        CATALGS II) An introduction to sketches
R. Willard      Tame congruence theory



+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: Sketch report -- corrections
Date: Mon, 5 Jul 93 16:05:25 -0400
From: cfw2@po.CWRU.Edu (Charles F. Wells)

I already have some minor revisions to make to my report on
sketches that I have made available by ftp.  

1) The paper is available in the directory math/wells on
ftp.cwru.edu.  (I omitted the "math" part.)

2) Add this citation to line 12 of page 12:  "Geometric Logic in
Computer Science", by Steve Vickers.  Available by FTP from 
theory.doc.ic.ac.uk in directory papers/Vickers.  The paper is
called GLiCS.dvi.

3) (Important) The discussion in the middle of page 12
concerning conceptual completeness is badly worded.  ("Badly
worded" means "wrong".)  Besides that, it belongs in the section
on categorial model theory.  It should read

  In connection with this, one can ask whether, for a particular
  type of theory, a morphism of theories that induces an
  equivalence on the category of models must be an equivalence of
  theories (conceptual completeness). The answer is yes for
  pretoposes [Makkai and Reyes, 1977], Chapter 8 (see also [Pitts,
  1989]).  Some form of Morita theory can also explain when
  categories of models are equivalent (but in this case without
  necessarily being induced by a morphism of theories); for this,
  see [references as given in paper].


--

Charles Wells
Department of Mathematics
Case Western Reserve University

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: Lie?
Date: Sat, 10 Jul 93 08:45:47 -0400
From: jds@math.upenn.edu

We have monads = triples for both assoc algebras and Lie algebras
but monad structure is associative

1)has any work been done on Lie analog of a monad?
(an `infinitesimal ' monad)

2) has any work been done on the Lie analog of a category?
i.e. skew-comm `comnposition' satisfying Jacobi when all
three are defined??

jim stasheff

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: Re: Lie?
From: joyal@mipsmath.math.uqam.ca (Andre Joyal)
Date: Tue, 13 Jul 93 13:45:18 EDT

   >We have monads = triples for both assoc algebras and Lie algebras
   >but monad structure is associative

     >1)has any work been done on Lie analog of a monad?
     >(an `infinitesimal ' monad)


As far as I know, there is presently no infinitesimal analog of (proper)
monoids. The reason might be that infinitesimal 
transformations are infinitely near the identity and very often the 
set of inversible transformations is an open neighbourhood of the identity. 
 

   > 2) has any work been done on the Lie analog of a category?
   > i.e. skew-comm `comnposition' satisfying Jacobi when all
   >three are defined??

> jim stasheff



There is a theory of Lie groupoids which I will discuss briefly.
By definition, a Lie groupoid is a groupoid G=(G1,G0,d0,d1,m,u) in the 
category of smooth manifolds. In this definition, we need to take a pullback
in the category of manifolds. The domain and codomain maps of G (ie d0 and d1) 

are better be submersions if we wish this pull-back to exist.
The following infinitesimal structure can be associated to a
Lie groupoid. It is a pair (A,D) where A is a commutative 
R-algebra and D is a Lie algebra (over R) such that 

1) D is acting on A (as derivations):
   X(fg) = X(f)g + fX(g) , [X,Y](f) = X(Y(f)) - Y(X(f))
2) D is equipped with an A-module structure such that
        (fX)(g) = fX(g)    and  [X,fY] = X(f)Y + f[X,Y] 
  (for any f,g in A and X,Y in D)

The pair (A,D) associated to G is the following: 
A is the algebra of smooth functions on G0.
D is the set of infinitesimal one parameter deformations of u considered
as a section of d0. In other words, if T(G1) is the tangent bundle
of G1 and V is the subbundle of T(G1) consisting of vectors killed 
by d0, then D is the module of global sections of the pull-back of V 
along u. The mapping d1 defines a map from D to global sections of T(G0), 
from which we obtain the action of D on A.
The Lie algebra structure on D is a bit harder to describe.
The best way is to exibit a group H of which D
is (morally) the Lie algebra. In analogy with the Lie algebra of 
vector fields on a manifold which is the infinitesimal portion of 
the group of diffeomorphisms of the manifold. H is the set of pairs (f,s)
where f:G0-->G0 is a diffeomorphism and s:G0-->G1 is section of d0
such that (d1)s = f. The composite (f,s)*(g,t) is the
pair (fg,w) where for every x in G0 we have w(x)=s(g(x))t(x).
(this definition is reminescent of the wreath product).

Remark: the group H fits in a crossed module stucture H-->a(G)
where a(G) is the group of automorphism of the groupoid G.
Actually, this crossed module is equivalent to the group of
automorphism of G as a group object in Cat.

It is quite clear that D is the infinitesimal counterpart of H 
(a pair (f,s) in H is determined by s).


Lie theory produces a one to one correspondance between 
finite dimensional Lie algebras and simply connected Lie groups.
More precisely, the left adjoint to the functor
  {Lie groups}--> {finite dim Lie algebras}
defines an equivalence between the category of finite dimensional
Lie algebras and the category of simply connected Lie groups.

There is an analogous theory for Lie groupoids and pairs (A,D).
It was developped rigorously only quite recently by Jean Pradine (verbatim).
But functoriality is awkard if we insist in representing the 
infinitesimal structures by pairs (A,D) as above.
However, functoriality is natural if D is dualised. Putting F = D*   
we obtain a sequence
                     A-->F-->F^2
where d:A-->F is defined by d(f)(X) = X(f) and d:F-->F^2 by
d(h)(X,Y)= X(h(Y)) - Y(h(X)) - h([X,Y]) (here F^2 is the exterior
square of F). These two differential 
operators can be extended uniquely to an (anti-) derivation d of
the full exterior algebra E(F) of the A-module F:
 
                     A-->F-->F^2-->F^3-->...  
    
We have  d(vw) = d(v)w +(+-1)vd(w) and also dd=0.
In other words, we have a kind of de Rham complex structure on the exterior
algebra of the A-module F.
Conversely, it is easy to see that a triple (A,F,d) where d is (anti-)
derivation of degre 1 on the exterior algebra of a projective module
of finite rank F is obtained as above from a unique pair (A,D) with D=F*.
There is an obvious category of the triples (A,F,d) (let me call
them de Rham complexes): a morphism (A,F,d)-->(B,M,d) is a pair
(f,g) where f:A-->B is an algebra map and g:F-->M is A-module
map such that the corresponding homomorphism of exterior algebras
E(F)-->E(M) commutes with the "exterior" derivatives.

It is easy to see that we have a contravariant functor

      {Lie groupoids}--->{de Rham complexes}

and it follows from the work of Pradine that it has a left adjoint Exp 
(the exponential functor)

     Exp:{de Rham complexes}--->{Lie groupoids} 

when it is restricted to complexes (A,F,D) in which A is an algebra of 
smooth functions on a manifold.

The functor Exp is full and faithful. Its image should consist
of some kind of simply connected Lie groupoids. I guess (I should really
read Pradine ...) these groupoids are those for which the fibers of d0 are 
simply connected. ??

An interesting example is given by the ordinary de Rham complex DR(M)
of a manifold M. We have 
     Exp(DR(M))= pi1(M)
where pi1(M) denotes the homotopy groupoid of M. The set M1 of 
arrows in  pi1(M) is the set of homotopy classes of paths in M
(end points fixed). The fiber of d0:M1-->M at x is the universal
cover of M constructed from the basepoint x.     

Another interesting example is obtained by considering an integrable
differential system on a manifold M. 
It is a set J of 1-forms such that d(J) is contained in the ideal 
of DR(M) generated by J. In other words, J generates a differential 
ideal and DR(M)/J (a short hand for DR(M)/JDR(M)) has the structure 
of a de Rham complex.
The Lie groupoid Exp(DR(M)/J) has a simple geometric interpretation.
According to a theorem of Frobenius J is the set of  
1-forms vanishing on the leaves of a foliation on M.
The arrows of Exp(DR(M)/J) are homotopy classes of paths lying in the leaves.  

The groupoid Exp(DR(M)/J) was used by A.Connes in his work on foliations. 

Best wishes, andre joyal

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Date: Wed, 14 Jul 1993 22:18:27 -0300 (ADT)
From: CATEGORIES@mta.ca
Subject: new archive site

*********************************************************
*                                                       *
*       CHANGE OF ARCHIVE SITE FOR CATEGORIES LIST      *
*                                                       *
*       As noted below, archives of the categories      *
*       list can now be retrieved by ftp from the       *
*       site sun1.mta.ca (138.73.1.12) which is a       *
*       Unix system. For the time being, the older      *
*       archives can also be found on the VMS machine   *
*       macc2.mta.ca                                    *
*                                                       *
*       Note also that .dvi files can now be            *
*       usefully archived for anyone without            *
*       access to an ftp site. Within a few             *
*       weeks the list will originate from a            *
*       Unix machine, and the notes below re            *
*       From: fields will change.                       *
*                                                       *
*       Please report any difficulties to               *
*       {categories-request,rrosebrugh}@mta.ca          *
*                                                       *
*********************************************************

This is the routine distribution for the categories mailing list. It is the
file routine.dist in pub/categories and was last updated on July 13, 1993.

Subscribers should note that the From: field of a categories posting is
categories@mta.ca (this is different from some other mailing lists). Thus, an
automatic reply is redirected to the entire list (unless  another intention is
clearly detected by the moderator). Administrative items (address changes 
etc.)
can be sent to categories-request@mta.ca, or directly to the moderator.
Usually, items of this sort sent to categories@mta.ca will not be posted. 

The archives of postings on categories are held at the ftp site 
sun1.mta.ca        (138.73.1.12)
in the directory pub/categories. This is a Unix system.

The postings are filed in yearly subdirectories called 90, 91 etc. 
Within those subdirectories there are monthly files, and an annual list of
dates and subjects of postings.

In the pub/categories directory there is also a file called ftp.sites with 
information about ftp sites holding files of interest to subscribers. Several
TeX diagram macro packages are in the subdirectory macro. Information about
ftp sites with holdings of interest is welcome.

This ftp site will also archive files which represent preprints in category
theory for persons without access to an ftp archive. It is preferred that 
these
be in TeX, but other submissions will be  considered. Submissions should be
sent to the moderator by e-mail only, and should  include a short abstract
suitable for posting to the  categories list. Submissions may be ascii files
(so TeX  source code in any flavour is fine), or dvi files.

If you need detailed instructions on how to use ftp, ask anyone knowledgable 
about the Internet at your site, or write to me.

Bob Rosebrugh                                     Phone: +1-506-364-2538
Department of Mathematics and Computer Science    Fax:        -364-2210
Mount Allison University                          
Sackville, N. B. E0A 3C0                          Email: rrosebrugh@mta.ca     

Canada




+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: CTCS-5
Date: Tue, 20 Jul 1993 13:50:44 +0200
From: F.J.de.Vries@cwi.nl

------------------
CTCS-5

Category Theory and Computer Science
Fifth Biennial Meeting
September 7-10, 1993, CWI Amsterdam, the Netherlands

______________________________________________
Preliminary Program and Call for Registration
______________________________________________

PROGRAM AND ORGANIZING COMMITTEE
S. Abramsky, P.-L. Curien, P. Dybjer, G. Longo, G. Mints, J. Mitchell,
E. Moggi, D. Pitt, A. Pitts, A. Poigne, D. Rydeheard, F.J. de Vries and
E. Wagner.

LOCAL ARRANGEMENTS
Dr. Fer-Jan de Vries
Department of Software Technology,
CWI,
Kruislaan 413,
1098 SJ Amsterdam,
The Netherlands

CONFERENCE ADMINISTRATOR
CTCS-5, c/o CWI
Ms. Anna Baanders
P.O. Box 4079
1009 AB Amsterdam
The Netherlands
Tel. +31-20-5924048
Fax. +31-20-5924199
email: anna@cwi.nl

PROGRAM
The program of CTCS-5 will consist of invited lectures and selected
presentations in plenary sessions. 
Invited lectures will be given by:

-  G. Rosolini (Genova)
-  N.A. Shanin (St. Petersburg)
-  A. Joyal (Montreal)
-  S. Maclane (Chicago)

LIST OF SELECTED TALKS: 

Connected Limits, familial representability and Artin glueing
A Carboni and P T Johnstone   

Graphical Sketches; A finite presentation of infinite graphs
Adam Obtulowicz 

Substitution should not respect equality
Alain Proute

Why Tricategories
A J Power

Reductions in Intuitionistic Linear Logic
S  Soloviev     

A Syntactic Approach to Modularity in Denotational Semantics
Pietro Cenciarelli & Eugenio Moggi      

Sesqui-Categories and their Applications to Rewriting Systems
John G Stell        

Syntactic Multicategories and Categorical Combinators for Linear Logic
Eike Ritter and Valeria de Paiva        

Fibrations with Indeterminates: Contextual and Functional
Completeness for Polymorphic Lambda Calculi
Claudio Hermida and Bart Jacobs 

The Mathematics of Event Automata
G Michele Pinna and Axel Poigne

Sound and complete axiomatisations of call-by-value control operators
Martin Hofmann  

CPO-categories of Partial Maps
Marcelo P Fiore 

Intuitionistic Ordinals and Tarski's Theorem
Paul Taylor

On Final Semantics for Applicative and Non-Deterministic Languages
Daniele Turi and Bart Jacobs    

Trees of Traces: A Categorical View
S Kasangian, G Mauri and N Sabadini     

Computing Colimits
B P Hilken and D E Rydeheard    

A Theory of Classes: Proofs and Models
B P Hilken and D E Rydeheard

Unification in Categories and Proof Search in Intuitionistic
Propositional Calculus  
Akira Mori and Yoshihiro Matsumoto

On distributive automata and asynchronous circuits
N Sabadini, R F C Walters and Henry Weld

AMSTERDAM
Famous for its canals, gabled houses, bridges and museums, Amsterdam
attracts millions of tourists each year. The old inner city is the
most compact in Europe with almost 7000 National Trust buildings
dating from the 16th century, when it was Europe's most important
commercial center, to the 20th century. Through the centuries,
Amsterdam has been characterized by its international orientation
and its tolerance of diverse political and religious opinions.
Amsterdam is the largest city in the Netherlands and the country's
nominal capital. It is a major international center of commerce,
banking, press and publishing, and ranks high on the list of cities
favored with international conventions. At the beginning of
September weather in Amsterdam is relatively mild, with daily highs
usually in the 15-20 degrees centigrade range and occasional
showers.

GETTING THERE
Amsterdam has a major international airport served by most
international carriers and linked directly to over a hundred cities
worldwide. The Schiphol International Airport is about 20 kilometers
from Amsterdam's city center. There are frequent trains to
Amsterdam's central railway station (Centraal Station, running 24
hours per day).

CONFERENCE LOCATION
CTCS-5 will be held at CWI, located in the city's eastern part
(street address: Kruislaan 413) 
CWI can be easily reached with public transport from all parts of
the city.

CONFERENCE EVENTS
There will be a reception for delegates on the evening of September
7th. An afternoon-excursion will be organized, followed by a formal
conference dinner.

REGISTRATION
Register and make your hotel reservation in advance using the
Registration and Accommodation Form. Mail or email the form to the
Conference Administrator. No registration or reservation will be
effective until full payment is received.

CONFERENCE FEE
The conference fee for CTCS-5  is NLG 500 for advance registration
(to be paid by 10 August 1993) and NLG 600 after 10 August 1993. 
The fee includes admission to all sessions, lunches and coffee 
breaks, the conference dinner and the conference excursion.
No refunds of payments will be made for cancellations received less
than two weeks before the start of the conference. In other cases
NLG 25 administrative charges and hotel no-show costs, if any.

ACCOMMODATION
A (limited) number of hotelrooms have been reserved at one of the
AMS-group Hotels in centre town. Roomrates are NLG 130-170 for
single and NLG 190 for double use (sharing a room is the
responsibility of the registrant though: no matching service will be
provided).
To book accommodation, fill out the hotel reservations part of the
Registration and Accommodation Form. A deposit of NLG 300 is to be
paid in advance to make any reservation effective. This deposit will
be deducted from your account when leaving.

PAYMENTS
Payments, net of all charges, are to be made in Dutch Guilders (NLG)
and can be made by either
    -Banker's draft (bank check), made payable to "Stichting
Wiskunde en Informatica Conferenties", and mailed to the conference
administrator
    -Money transfer to account no. 31.35.57.977 of "Stichting
Wiskunde en Informatica Conferenties" at the RABO-bank, Middenweg
88, Amsterdam (Postal giro of bank: 187744)
Make sure that payments mention "CTCS-5" and your name.


REGISTRATION AND ACCOMMODATION CTCS-5
Please type or print

Name (last)____________________________ (first)______________

Affiliation_______________________________________________
______________________________________________________

Address________________________________________________

Postal Code________________ City__________________________

Country________________________________________________

Email__________________________ Fax_____________________

Telephone______________________________________________

Special Requests_________________________________________
registers for CTCS-5.
Registration fee:         o NLG 500                   o NLG 600
(late fee)

Hotel Reservations

Please reserve a o single/o double room in AMS Hotel 
Date of arrival:_________________ departure:___________________
Number of nights:_________________________________________
Payment :                   o NLG 300 Hotel deposit


Payment:
o   I enclose a banker's draft
o   I transferred the registration fee to your bankaccount

Mail to:  CTCS-5 Secretariaat, CWI/Ms. Anna Baanders
P.O. Box  4079, NL 1009 AB Amsterdam

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: UACT Participants List-posting corrected
Date: Mon, 26 Jul 93 14:04:19 -0400
From: cfw2@po.CWRU.Edu (Charles F. Wells)

+++++++++++
Note from Moderator:

My apologies to Charles for resending his earlier posting under the Subject: 
of
this one.  Bob Rosebrugh
+++++++++++

Participant List
Universal Algebra and Category Theory
July 12-23, 1993

[This file is being sent to the category mailing list 
(categories@mta.ca) and to the individuals listed below who have
email addresses.  I apologize for the overlaps.

The source was a Macintosh file.  I have attempted to replace
the accented characters, which come out wrong on DOS machines,
with their TeX equivalent, "\" followed by a symbol denoting the
accent to be put on the following letter:
' acute
` grave
" umlaut
The source file missed many accents and included a number of
misspellings, which I have corrected only when I was reasonably
sure I knew what the correction should be.  --Charles Wells]

Jiri Adamek
Technicka 2
Czech Technical University in Prague
166 27 Praha 6
Czechoslovakia
adamek@math1.cvut.cs

Pierre Ag\'eron
Departement de Math\'ematiques
Universite de Caen
14032 Caen, Cedex
France
gremlin@math.unicaen.fr

Michael Albert
Department of Mathematics
Carnegie-Mellon University
Pittsburgh, PA  15213
Michael.Albert@cmu.edu

Teresa Maria Almada
Departamento de Matematica
University of Lisbon
Rua Ernesto de Vasconcelos
Bloco C1 - 3 Piso, 1700 Lisboa
Portugal
matjoao%ptearn.bitnet@FRMOP11.CNUSC.FR

Kirby Baker
Department of Mathematics
University of California Los Angeles
Los Angeles, CA  90024
kab@math.ucla.edu

David Benson
dbenson@eecs.wsu.edu

George Bergman
Department of Mathematics
University of California Berkeley
Berkeley, CA  94720
gbergman@math.berkeley.edu

Joel Berman
Department of Mathematics
University of Illinois at Chicago
Chicago, IL  60680
u10391@uicvm.bitnet

Renato Betti
Dip. di Matematica
Politecnico di Milano
Piazza Leonardo da Vinci, 32
20133 Milano
Italy
renbet@ipmma1.polimi.it

David Bigelow
Department of Mathematics
Malaspina College
900 Fifth Street
Nanaimo, BC  V9R 5S5
Canada
bigelow@mala.bc.ca

Andreas Blass
Department of Mathematics
University of Michigan
Ann Arbor, MI  48109-1003
ablass@umich.edu

Dominique Bourn
Math\'ematiques et d'Informatique
Universit\'e de Picardie Jules Verne
33, rue Saint-Leu
80039 Amiens C\'edex 01
France


Pilar Carrasco
Universidad de Granada
Departamento de algebra
Campus Fuente Nueva s/n
Granada 18071
Spain
mcarrasco@ugr.es

David Clark
Math and Computer Science
SUNY, College at New Paltz
New Paltz, NY  12561
CLARKD%snynewvm.bitnet@cunyvm.cuny.edu

Leslie Cohn
Department of Mathematics
The Citadel
Charleston, SC  29409
cohnl@citadel.edu

William Craig
Department of Philosophy
University of California Berkeley
Berkeley, CA  94720

Brian Davey
Department of Mathematics
La Trobe University
Bundoora, Victoria 3083
Australia

Klaus Denecke
Universit\"at Potsdam
Fachbereich Mathematik
Am Neuen Palais 10
0-1571 Potsdam
Germany

Carlos A. Di Prisco
University of California Berkeley
Berkeley, CA  94720

Thomas Drucker
Co-Editor, Modern Logic
304 South Hanover Street
Carlisle, PA  17013

Marcel Ern\'e 
Universit\"at Hannover
Institut f\"ur Mathematik
Welfengarten 1
W-3000 Hannover
Germany
aberne@dhvrrzn1.uni-hannover.dbp.de

Paul Feit
University of Texas at Permian Basin
4901 E. University Blvd.
Odessa, TX  79762
p_feit@utpb.pb.utexas.edu

Isabel M.A. Ferreirim
Departamento de Matematica
Universidade de Lisboa
R. Ernesto de Vasconcelos, Bloco C1
1700 Lisboa
Portugal
@FRMOP11.CNUSC.FR:mimafer@ptearn.bitnet

Thomas Fox
Department of Mathematics
Burnside Hall
McGill University
Montreal, H3A 2K6
Canada
fox@triples.math.mcgill.ca

Ralph Freese
Department of Mathematics
University of Hawaii
Honolulu, HI  69822
ralph@math.hawaii.edu

Ervin Fried
Algebra
ELTE TTK
1088 M\"uzeum krt. 6-8
H-1088 Budapest
Hungary
efried@ludens.elte.hu

Hernando Gaitan
Departamento de Matematicas
Facultad de Ciencias
Universidad de Los Andes
Merida 5101
Venezuela
gaitan@sun.com

Steve Givant
Mills College
5000 Mac Arthur Bhur Blvd.
Oakland, CA  94613iel Gluschankof
UFR de Math\'ematiques
Universite Paris 7 - CNRS (URA 753)
Tour 45, 5\`eme \'etage, coulior 45-55
2 place jussieu
75251 Paris, Cedex 05,  France
gluscha@logique.jussieu.fr

Simon M. Goberstein
Department of Mathematics
California State University, Chico
Chico, CA  95929

Abraham Goetz
Department of Mathematics
University of Notre Dame
Notre Dame, IN  46556
abraham.goetz.2@nd.edu or abe@cartan.math.nd.edu

Robert Gordon
Department of Mathematics
Temple University
Philadelphia, PA  19122
gordon@euclid.math.temple.edu

Marco Grandis
Dipartimento di Matematica
Universit\`a di Genova
Via L.B. Alberti, 4
I-16132 Genova
Italy
grandis@cisi.unige.it

John W. Gray
Department of Mathematics
University of Illinois
Urbana, IL  61801
gray@symcom.math.uiuc.edu

Mark Haiman
Department of Mathematics
University of California San Diego
La Jolla, CA  92903-0112

Carol Halstead Stone
Department of Mathematics
Simon Fraser University
Burnaby, BC V5A 1S6
Canada

Catherine Haynie
San Mateo, California

Simone Hazan


Michel H\'ebert
Department of Mathematics
Universit\'e Laval
Quebec, G1K 7P4
Canada
mhebert@mat.ulaval.ca

Alex Heller
City University of New York

Christian Herrmann
FB4 AG1
Technische Hochschule Darmstadt
64289 Darmstadt
Germany
herrmann@mathematik.th-darmstadt.de

Jennifer Hyndman
1556 Charles Street, #402
Vancouver, BC  V5L 2T1
Canada
jhyndman@cs.sfu.ca

Pawel Maria Idziak
Department of Computer Science
Jagiellonian University
Nawojki 11,
PL-30-072  Krakow
POLAND
idziak@ii.uj.edu.pl or idziak@math.berkeley.edu


John Isbell
Department of Mathematics
Diefendorf Hall
SUNY at Buffalo
Buffalo, NY  14214-3093
MTHISBEL@ubvms.cc.buffalo.edu


Awad Iskander
Department of Mathematics
University of S.W. Louisiana
Lafayette, LA  70504
awadisk@usl.edu

George Janelidze
Mathematical Institute of the Georgian
Academy of Sciences
1 Rukhadze str.
380093 Tblisi
Republic of Georgia
gjnel@imath.kheta.georgia.su

Jaroslav Jezek
Department of Mathematics
University of Hawaii at Manoa
2565 The Mall
Honolulu, HI  96822
jarda@math.hawaii.edu

Mamuka Jibladze
Mathematical Institute of the Georgian
Academy of Sciences
1 Rukhadze str.
380093 Tblisi
Republic of Georgia
jib@imath.kheta.georgia.su

Michael Johnson
School of Mathematics and Computing
Macquarie University
NSW 2109
Australia
mike@macadam.mpce.mq.edu.au

Peter Johnstone
Department of Mathematics
University of Cambridge
16 Mill Lane
Cambridge, CB2 1SB
England

Andr\'e  Joyal
Dept. de Math\'ematiques et d'Informatique
Universite du Qu\'ebec a Montr\'eal
Case Postale 8888 Succ "A"
Montreal H3C 3P8
Canada
joyal@math.uqam.ca

Yefim Katsov
Dept. of Mathematics & Comp. Science
Hanover College
P.O. Box 108
Hanover, IN  47243
katsov@hanover.edu

Keith Kearnes
Department of Mathematics
Harvey Mudd College
Claremont, CA  91711
kearnes@fenris.claremont.edu

Max Kelly
Department of Pure Mathematics
University of Sydney
New South Wales, 2006
Australia
kelly_m@maths.su.oz.au

Tim Kientzle
University of California Berkeley
Berkeley, CA  94720

Volker Kleinschmidt
Department of Mathematics
University of Illinois at Chicago
Box 4348
Chicago, IL  60680, IL  60680

J\"urgen Koslowski
volastr. 31
D-3000 Hannover 1
Germany
ABERNE@dhvrrzn1.uni-hannover.d400.de

Chuck Latting
University of California Berkeley
Berkeley, CA  94720
latting@math.berkeley.edu

Dietlinde Lau
Universit\"at Rostock
FB Mathematik
Universitatsplatz 1
0-2500 Rostock
Germany

William Lau
P.O. Box 206
Siloam Springs, AR  72761ngs, AR  72761omme
Universit\'e Catholique de Louvain
Inst. de Math, Pure et Appliqu\'e
Chemin du Cyclotron 2
B-1348 Louvain-La-Neuve
Belgium

William Lawvere
Department of Mathematics
SUNY at Buffalo
Buffalo, NY  14214
MTHFWL@ubvms.cc.buffalo.edu

Jonathan Leech
Department of Mathematics
Westmont College
955 La Paz Rd.
Santa Barbara, CA  93108-1099
leech@westmx.westmont.edu or leech@westmont.edu

Renato Lewin
Instituto de Matematicas
Universidad Cat\'olica de Chile
Casilla 114-D, Santiago
Chile
rlewin@mat.puc.cl

Ina Lindemann
Springer-Verlag
175 Fifth Ave.
New York, NY  10010
lindemann@spint.compuserve.com

Fred Linton
Department of Mathematics
letown, CT  06457ty
Middletown, CT  06457
flinton@eagle.wesleyan.edu or fejlinton@mcimail.com

Tom Lippincott
University of California Berkeley
Berkeley, CA  94720
lippin@math.berkeley.edu

Otfried Luders
Department of Mathematics
University Potsdam
Am Neuen Palais 10
0-1570 Potsdam
Germany

Saunders Mac Lane
Department of Mathematics
University of Chicago
5734 S. University Ave.
Chicago, IL  60637
saunders@math.uchicago.edu

John L. MacDonald
Department of Mathematics
University of British Columbia
121-1984 Mathematics Road
Vancouver, BC V6T 122
Canada
johnm@math.ubc.ca

Michael Makkai
Department of Mathematics
McGill University
805 Sherbroke, W.
Montreal, H3A 2K1
Canada

S. Margolis
Department of Computer Science
Ferguson Hall
University of Nebraska-Lincoln
Lincoln, NE  68588-0115
stu@lovelace.unl.edu

L\'aszl\'o M\'arki
Mathematical Institute
Hungarian Academy of Sciences
Budapest, P.O.B. 127, H-1364
Hungary
H1133Mar@huella.bitnet

Ralph McKenzie
Department of Mathematics
University of California Berkeley
Berkeley, CA  94720

George McNulty
Department of Mathematics
University of South Carolina
Columbia, SC  29208
mcnulty@math.scarolina.edu

John Meakin
Department of Mathematics & Statistics
University of Nebraska-Lincoln
810 Oldfather Hall
Lincoln, NE  68588
meakin@hoss.unl.edu

Ieke Moerdijk
Mathematical Institute
Budapestlaan 6
P.O. Box 80.010
3508 TA Utrecht
The Netherlands

William Nico
Cal State Hayward
Hayward, CA
nico@csuhayward.edu

Susan Niefield
Department of Mathematics
Union College
Schenectady, NY  21308-2311
NIEFIELS@gar.union.edu

Loyiso Nongxa
Harvard University
Cambridge, MA  02138138
ngxa@math.harvard.edu

Sheila Oates-Williams
Department of Mathematics
University of Queensland - St. Lucia
Brisbane Q4067
Australia
sw@maths.uq.oz.au

P.P. P\'alfy
Mathematical Institute
Hungarian Academy of Sciences
P.O.B. 127
Budapest, H-1364
Hungary
H1134Pal@HUELLA.BITNET

Paul H. Palmquist
13122 Dewey Street
Los Angeles, CA  90066900660.1050@compuserve.com

Robert Par\'e 
Department of Mathematics
Dalhousie University
Halifax, Nova Scotia, B3H 3J5
Canada
pare@cs.dal.ca

Gerhard R. Paseman
P.O. Box 11992
Berkeley, CA  94701 94701an@math.berkeley.edu
[this is probably paseman@math.berkeley.edu]

Maria-Cristina Pedicchio
Dipto di Matematica
Universit\`a degli Studi di Trieste
p. le Europa 1
34100 Trieste
Italy
pedicchi@univ.trieste.it

Jon Phillips
35 St. John's Court
Walnut Creek, CA  9459694596 Pigozzi
Department of Mathematics
Iowa State University
Ames, IA  50011
dpigozzi@iastate.edu

Goncalo Pinto
Universidade Nova de Lisboa
Departamento de Matematica
Quinta Da Torre
2825 Monte De Caparica
Portugal

Alden Pixley
Department of Mathematics
Harvey Mudd College
Claremont, CA  91711
apixley@sif.claremont.edu

Gordon Plotkin
University of Edinburgh
Mayfield Road
Edinburgh, EH9 3JZ
SCOTLAND

Hans-E. Porst
Universit\"at Bremen
Department of Mathematics
Besselstr 65
2800 Bremen 1
Germany
porst@informatik.uni-bremen.de

A.J. Power
Laboratory for Computer Science
King's Buildings, University of Edinburgh
Mayfield Road
Edinburgh, EH9 3JZ
SCOTLAND
ajp@dcs.ed.ac.uk

Vaughan R. Pratt
2215 Old Page Mill Road
Stanford University
Palo Alto, CA  94304
pratt@CS.Stanford.EDU or pratt@coraki.stanford.edu

Hilary Priestley
Mathematical Institute
24/29 St. Giles
Oxford OX1 3LB
England
HAP@vax.oxford.ac.uk

R.W. Quackenbush
c/o Prof. B. Davey
Department of Mathematics
La Trobe University
Bundoora, Victoria 3083
Australia
gbush@ccu.umanitoba.ca

Gunther Richter
Fakult\"at f\"ur Mathematik
Universit\"at Bielefeld
D-4800 Bielefeld 1
Postfach 8640
Germany

Anna Romanowska
Instytut Matematyki
Politechnika Warszawska
Plac Politechniki 1
00661 Warszawa
Poland
aroman@plwatu21.bitnet

W.H. Rowan
P.O. Box 20791
Oakland, CA  9462094620n@garnet.berkeley.edu
[probably rowan@garnet.berkeley.edu]

Mark Sapir
Department of Mathematics & Statistics
University of Nebraska-Lincoln
Lincoln, NE  68588-0323
msapir@hoss.unl.edu

Maria Joao Saramago
Departamento de Matematica
University of Lisbon
Rua Ernesto de Vasconcelos
Bloco C1 - 3 Piso, 1700 Lisboa
Portugal
matjoao%ptearn.bitnet@FRMOP11.CNUSC.FR

Jurg Schmid
Mathematischas Institut
Universit\"at Bern
CH-3012 Bern
Switzerland
schmid@math-stat.unibe.ch

Silke Schulz
Ernst - Thalmann - Ring 46 A
0-2200 Griefswald
Germany

Dietmar Schumachev
Acadia University, Canada

Maria Gloria Schwarze
Instituto de Matematicas
Universidad Cat\'olica de Chile
Casilla 114-D, Santiago
Chile
rlewin@mat.puc.cl

Dana Scott
International Computer Science Institute
1947 Center Street, Suite 600
Berkeley, CA  94704
dana.scott@proof.ergo.cs.cmu.edu

Steven Seif
Department of Mathematics
University of Louisville
Louisville, KY  40292
swseif01@ulkyux.louisville.edu

Richard Squire
3848 Rue de Bullion
Montreal, Quebec H2W 2E1
Canada

Theron Stanford
University of California Berkeley
Berkeley, CA  94720

Sergei Starchenko
Department of Mathematics
Simon Fraser University
Burnaby, BC V5A 1S6
Canada
starchen@cs.sfu.ca

Art Stone
Department of Mathematics
University of British Columbia
Vancouver, BC  V6T 1Y4
Canada
macstone@bzu.ubc.ca or stone@math.ubc.ca

Mike Stone
University of Calgary
mgstone@acs.ucalgary.ca

Ross H. Street
Department of Mathematics
Macquarie University
North Ryde, NSW 2109
Australia
street@macadam.mpce.mq.edu.au

Agnes Szendrei
Jozsef Attila Tudomanyegyetem
Bolyai Intezete
Institututm Bolyaianum Universitatis
6720 Szeged
Hungaria
H1029Sze@huella.bitnet

Walter F. Taylor
Department of Mathematics
University Colorado
Boulder, CO  80309-0426
wtaylor@euclid.colorado.edu

Walter Tholen
Department of Mathematics
York University
4700 Keele Street
North York, Ontario M3J IP3
Canada
tholen@mathstat.yorku.ca

Howard M. Thompson
University of California Berkeley
Berkeley, CA  94720

Richard J. Thompson
355 Orchard Ave.
Sunnyvale, CA  9408694086es Tierney
Department of Mathematics
Rutgers University
New Brunswick, NJ  08905
tierney@mipsmath.math.uqam.ca

Michael Tischendorf
Technische Hochschule Darmstadt
FB4 AG1
64289 Darmstadt
Germany
dc9m@mathematik.th-darmstadt.de

Vera Trnkov\'a
Math. Institute
Charles University
Prague
Czechoslovakia
trnkova@CSPGUK11.BITNET

M.S. Tsalenko
c/o L. Tslenko (Daughter)
1230 Liberty #1
El Cerrito, CA  94530

Steven Tschantz
Department of Mathematics
Vashville, TN  37235y
Nashville, TN  37235
tschantz@athena.cas.vanderbilt.edu

Matthew Valeriote
Department of Mathematics
McMaster University
Hamilton, Ontario L8S 4K1
Canada
matt@johnny.math.mcmaster.ca

Joel Van der Werf
University of California Berkeley
Berkeley, CA  94720

D.H. Van Osdol
Department of Mathematics
University of New Hampshire
Durham, NH  03824
D_VANOSDOL@UNHH.UNH.EDU

Dominic Verity
Department of Mathematics
Macquarie University
North Ryde, NSW 2109
Australia
dom@macadam.mpce.my.edu.au

Michail V. Volkov
Department of Mathematics & Mechanics
Ural State University
620083 Ekatherinburg
Russia
volkovm@math.urgu.e-burg.su

Bernhard von Stengel
Informatik 5
University of the Bundeswehr at Munich
85577 Neubiberg
i51bbvs@rz.unibw-muenchen.de

Samuel M. Vovsi
Department of Mathematics
Rutgers University
New Brunswick, NJ  08903
vovsi@chaos.trenton.edu or vovsi@math.rutgers.edu

Linda Wald
Department of Mathematics
University of California Los Angeles
Los Angeles, CA  90024
linda@math.ucla.edu

Nick Weaver
Department of Mathematics
University of California Berkeley
Berkeley, CA  94720
weaver@math.berkeley.edu

Benjamin Wells
Department of Mathematics
University of San Francisco
San Francisco, CA  94117
wells@lynx.cs.usfca.edu

Charles Wells
Department of Mathematics
Case Western Reserve University
10900 Euclid Avenue
Cleveland, OH  44106-7058
cfw2@pop.cwru.edu

Stephen Whitney
Dept d'informatique et de math\'ematique
Universite du Quebec a Chicoutimi
555 Boulevard de l'Universit\'e
Chicoutimi, Quebec G7H 2B1
Canada

Joan Wick Pelletier
Office of the Associate Vice President
York University
4700 Keele Street
North York, Ontario
Canada
JWPELL@VM2.YorkU.CA

Ross Willard
Department of Pure Mathematics
University of Waterloo
Waterloo, Ontario N2L 3G1
Canada
rdwillar@watdragon.uwaterloo.ca or puremath@math.waterloo.edu

Shelly Wismath
Fachbereich Mathematik
Universit\"at Kaiserslautern
D-6750 Kaiserslautern
Germany
wismaths@hg.uleth.ca

Japheth Wood
University of California Berkeley
Berkeley, CA  94720
wood@math.berkeley.edu

L\'aszlo Z\'adori
Bolyai Institute
Joszef Attila University
H-6720 Szeged
Aradi vertanuk tere 1
Hungary
h2865zad@huella.bitnet

Marek Zawadowski
Department of Mathematics & Statistics
McGill University
805 Sherbrooke St. W.
Montreal, PQ  H3A 2K6
Canada
marek@triples.math.mcgill.ca

Ian T. Zimmerman
426 Lexington Ave.
El Cerrito, CA  
945304530
zimmerman@snlndro.cerf.fred.org
 

--

Charles Wells
Department of Mathematics
Case Western Reserve University
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: Re: Lie?
Date: Tue, 27 Jul 93 08:55:49 +1000
From: street@macadam.mpce.mq.edu.au

The book "Lie Groupoids and Lie Algebroids in Differential Geometry"
by Kirill Mackenzie [London Math Soc Lect Note Series 124; Camb U Press]
may be of interest to Jim Stasheff. But this is about mixtures of category
and Lie structures rather than replacement of the cat by the Lie.
The Pradine work referred to by Andre Joyal is expanded on in Kirill's
book. 

Ross (Street)

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: Re: UACT Participants List-posting corrected
From: koslowj@math.ksu.edu (Juergen Koslowski)
Date: Tue, 27 Jul 93 12:18:16 CDT

One more correction to the address list: my mailing address contained a typo, 
and German zip-codes
have changed effective July 1. Here is the correct mailing address:

J"urgen Koslowski
Voltastr. 31
D-30165 Hannover
Germany

email: koslowj@math.ksu.edu
or     aberne@dhvrrzn1.uni-hannover.d400.de (preferred after August 20)

-- 
J"urgen Koslowski         | If I don't see you no more in this world
Department of Mathematics | I meet you in the next world
Kansas State University   | and don't be late!
koslowj@math.ksu.edu      |                         Jimi Hendrix (Voodoo 
Chile)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: New structdir
Date: Tue, 27 Jul 93 18:40:11 PDT
From: Vaughan Pratt <pratt@CS.Stanford.EDU>

I merged the names from the UACT list into Structdir as follows.  Given
the number of names added (65), this might be a good time for a
rebroadcast and request for bug fixes, names of omitted people, and
other such updates.
-v


#     Structures Directory -- Email addresses of structure theorists
#     Release 4.6, July 27, 1993
#     Master copy: Boole.Stanford.EDU:~ftp/pub/structdir
#     Maintainer: Vaughan Pratt, pratt@cs.stanford.edu
#
#
# This is an email directory of logicians, algebraists, and programming
# linguists working primarily on structural problems in mathematics and
# computer science.  It is organized as a Unix aliases file and
# may be appended directly to the aliases file that normally resides in
# /usr/lib or /etc.  The most recent release of this directory may be
# obtained at any time by anonymous ftp from Boole.Stanford.EDU as the
# file /pub/structdir
#
# The purpose of this directory is to permit those listed in it to be
# easily contacted individually by email.
#
# NOTICE: Please do not use any email address obtained from this
# directory for other than the purpose stated above without first
# obtaining the consent of the owner of that address.  Such proscribed
# uses include adding an address obtained from this directory to a
# mailing list used for broadcast mailings, and noting the fact of
# inclusion in this directory in a profile of the included individual.
#
# The list observes the following conventions.  Column 1 is the alias,
# which usually consists of the surname prefixed when necessary for
# disambiguation with an initial or the whole first name.  It starts in
# character column 1 and is restricted to the 26 characters a-z (no
# capitals, digits, or punctuation), and usually includes any preceding
# "de" or "van".  Column 2, which starts in character column 17, is the
# email address in lower case with no %'s, and is either a regular
# internet domain address, a .bitnet address, or a uucp address in !
# format.  Column 3 is "(Forename" and column 4 the matching "Surname)".
# The list is sorted by surname using the Unix sort command in the form
# `sort +3` (sort ignoring the first three columns).  The "de" or "van"
# if any is placed in whichever of columnn 3 or 4 achieves its owner's
# preferred alphabetization.  Column 3 starts as close to column 57 as
# possible subject to the other constraints and column 4 is separated
# from column 3 by one space.  There are no tabs in the file, and no line
# is longer than 79 characters.
#
# Although the directory contains no repeated aliases (column 1 entries),
# the aliases file to which you append it may already contain aliases
# that also appear here.  You should be aware that the resulting
# conflicts will not be reported as such, but rather that the mailing
# programs will select either the last or first repeated alias as the one
# to use depending respectively on whether or not your mail system
# preprocesses the aliases file for faster retrieval.
#
#                                   Vaughan Pratt
#                                   Computer Science Department
#                                   Stanford University
#                                   Stanford, CA 94305
#                                   pratt@cs.stanford.edu
#                                   415-723-2943

#
# People
#
abadi:          ma@src.dec.com                          (Martin Abadi)
abiteboul:      abitebou@inria.inria.fr                 (Serge Abiteboul)
abramsky:       sa@doc.ic.ac.uk                         (Samson Abramsky)
aceto:          luca@cogs.sussex.ac.uk                  (Luca Aceto)
aczel:          petera@cs.man.ac.uk                     (Peter Aczel)
adamek:         adamek@math1.cvut.cs                    (Jiri Adamek)
adams:          useradms@mtsg.ubc.ca                    (Bob Adams)
adelman:        murray@macadam.mpce.mq.edu.au           (Murray Adelman)
adler:          ara@lom1.math.yale.edu                  (Alan Adler)
ageron:         gremlin@math.unicaen.fr                 (Pierre Ageron)
ait-kaci:       hak@decprl.dec.com                      (Hassan Ait-Kaci)
aitchison:      iain@mundoe.munnari.edu.au              (Iain Aitchison)
albert:         michael.albert@cmu.edu                  (Michael Albert)
alimohamed:     moez@saul.cis.upenn.edu                 (Moez Alimohamed)
almada:         matjoao%ptearn.bitnet@frmop11.cnusc.fr  (Teresa Almada)
altenkirch:     alti@dcs.ed.ac.uk                       (Thorsten Altenkirch)
amadio:         amadio@loria.fr                         (Roberto Amadio)
ambler:         sja@dcs.qmw.ac.uk                       (Simon Ambler)
amnell:         amnell@klaava.helsinki.fi               (Marko Amnell)
andersen:       nils@diku.dk                            (Nils Andersen)
anderson:       anderson@bright.math.uoregon.edu        (Frank Anderson)
andreka:        h2644and@ella.hu                        (Hajnal Andreka)
apt:            apt@cs.utexas.edu                       (Krzystof Apt)
arbib:          arbib@cs.usc.edu                        (Michael Arbib)
arnold:         arnold@geocub.greco-prog.fr             (Andre Arnold)
artemov:        sergei@artemov.mian.su                  (Sergei Artemov)
asperti:        andrea.asperti@inria.fr                 (Andrea Asperti)
astesiano:      astes@disi.unige.it                     (Egidio Astesiano)
atkinson:       atkinson@math.toronto.edu               (Derek Atkinson)
avron:          aa@math.tau.ac.il                       (Arnon Avron)
bach:           rene@tech.ascom.ch                      (Rene Bach)
baez:           baez@ucrmath.ucr.edu                    (John Baez)
baker:          kab@math.ucla.edu                       (Kirby Baker)
baker-finch:    clem@echo.canberra.edu.au               (Clem Baker-Finch)
baranoff:       sergei@hm.iias.spb.su                   (Sergei Baranoff)
barr:           barr@triples.math.mcgill.ca             (Michael Barr)
bartle:         rgb@math.ams.com                        (Bob Bartle)
barwise:        barwise@phil.indiana.edu                (Jon Barwise)
beck:           beck@math.cornell.edu                   (Jon Beck)
bednarczyk:     panmb@halina.univ.gda.pl                (Marek Bednarczyk)
beeson:         beeson@ucscc.ucsc.edu                   (Michael Beeson)
beigel:         beigel-richard@cs.yale.edu              (Richard Beigel)
bellin:         glb@dcs.edinburgh.ac.uk                 (Gian-Luigi Bellin)
benson:         dbenson@eecs.wsu.edu                    (David Benson)
vanbenthem:     johan@fwi.uva.nl                        (Johan.van Benthem)
bergman:        gbergman@math.berkeley.edu              (George Bergman)
bergstra:       madelon@fwi.uva.nl                      (Jan Bergstra)
berman:         u10391@uicvm.bitnet                     (Joel Berman)
berry:          berry@cma.cma.fr                        (Gerard Berry)
betti:          renbet@ipmma1.polimi.it                 (Renato Betti)
bhadhuri:       pbhaduri@cs2.cs.wsu.edu                 (Purandar Bhadhuri)
bier:           eric_bier.parc@xerox.com                (Eric Bier)
bigelow:        bigelow@mala.bc.ca                      (David Bigelow)
birtwistle:     graham@cpsc.ucalgary.ca                 (Graham Birtwistle)
blair:          ziggy@hx.lcs.mit.edu                    (Michael Blair)
blass:          ablass@umich.edu                        (Andreas Blass)
bbloom:         bard@cs.cornell.edu                     (Bard Bloom)
sbloom:         bloom@sparc1.stevens-tech.edu           (Steve Bloom)
lblum:          lblum@ernie.berkeley.edu                (Lenore Blum)
mblum:          blum@ernie.berkeley.edu                 (Manuel Blum)
blute:          blute@triples.math.mcgill.ca            (Richard Blute)
vanemdeboas:    pveb@cwi.nl                             (Peter.van.Emde Boas)
boehm:          boehm.pa@xerox.com                      (Hans Boehm)
boerger:        rboerger@mathstat.yorku.ca              (Reinhard Boerger)
bonacina:       bonacina@sbcs.sunysb.edu                (M.Paola Bonacina)
boolos:         boolos@athena.mit.edu                   (George Boolos)
borceux:        borceux@agel.ucl.ac.be                  (Francis Borceux)
jborwein:       jborwein@cs.dal.ca                      (Jon Borwein)
pborwein:       pborwein@cs.dal.ca                      (Peter Borwein)
borzyszkowski:  panab@halina.univ.gda.pl                (Andrzej 
Borzyszkowski)
bouchard:       eomsg@acadvm1.uottawa.ca                (Monique Bouchard)
boyer:          boyer@cli.com                           (Bob Boyer)
bracho:         bracho@unamvm1.bitnet                   (Felipe Bracho)
brauner:        tor@daimi.aau.dk                        (Torben Brauner)
breazu:         val@cis.upenn.edu                       (Val Breazu-Tannen)
breen:          breen@math.univ-paris13.fr              (Larry Breen)
brink:          cbrink@maths.uct.ac.za                  (Chris Brink)
brinkman:       mabrink@nyx.uni-konstanz.de             (Hans-Berndt Brinkman)
britz:          brtkat01@ucthpx.uct.ac.za               (Katarina Britz) 
brock:          shb@sys.uea.ac.uk                       (Simon Brock)
brookes:        brookes@b.gp.cs.cmu.edu                 (Steve Brookes)
cbrown:         cbrown@cs.chalmers.se                   (Carolyn Brown)
rbrown:         r.brown@vaxa.bangor.ac.uk               (Ronnie Brown)
broy:           broy@informatik.tu-muenchen.de          (Manfred Broy)
bruce:          kim@cs.williams.edu                     (Kim Bruce)
brunner:        hbrunner@mun.bitnet                     (Herman Brunner)
buckland:       richardb@macadam.mpce.mq.edu.au         (Richard Buckland)
debukh:         ecomail@vms2.uni-c.dk                   (Per.de Bukh)
bullejos:       mbullejos@ugr.es                        (Manuel Bullejos)
buneman:        peter@cis.upenn.edu                     (Peter Buneman)
bunge:          bunge@triples.math.mcgill.ca            (Marta Bunge)
burroni:        burroni@mathp7.jussieu.fr               (Albert Burroni)
burstall:       rb@dcs.edinburgh.ac.uk                  (Rod Burstall)
buss:           sbuss@cs.ucsd.edu                       (Sam Buss)
cannon:         cannon_j@maths.su.edu.au                (John Cannon)
carboni:        carboni@vmimat.mat.unimi.it             (Aurelio Carboni)
cardelli:       luca@src.dec.com                        (Luca Cardelli)
carpenter:      carp@lcl.cmu.edu                        (Bob Carpenter)
carr:           carrdm@snyplaba.bitnet                  (Donna Carr)
carrasco:       mcarrasco@ugr.es                        (Pilar Carrasco)
carter:         nicola@mcgill1.bitnet                   (Nicola Carter)
cartwright:     cork@rice.edu                           (Corky Cartwright)
casley:         casley@cs.stanford.edu                  (Ross Casley)
castellini:     g-castellini@upr1.upr.cun.edu           (G. Castellini)
cerioli:        cerioli@disi.unige.it                   (Maura Cerioli)
chandra:        ashok@watson.ibm.com                    (Ashok Chandra)
chase:          chase@math.cornell.edu                  (Stephen Chase)
chen:           uhchen@uxa.ecn.bgu.edu                  (Andy Chen)
chinnici:       chinnici@hp2.sm.dsi.unimi.it            (Roberto Chinnici)
chisala:        chisala@mango.apc.org                   (B.P. Chisala)
choi:           choi@grad1.cis.upenn.edu                (Jin-Young Choi)
chou:           chou@rascal.ics.utexas.edu              (Shang-Ching Chou)
chu:            chu@ace.bsd.uchicago.edu                (Po-Hsiang Chu)
clark:          clarkd%snynewvm.bitnet@cunyvm.cuny.edu  (David Clark)
clarke:         clarke@a.cs.cmu.edu                     (Ed Clarke)
clote:          clote@bcuxs2.bc.edu                     (Peter Clote)
cockett:        robin@cpsc.ucalgary.ca                  (Robin Cockett)
cocquand:       coquande@margaux.inria.fr               (Thierry Cocquand)
cohen:          avrac@computer-lab.cambridge.ac.uk      (Avra Cohen)
cohn:           cohnl@citadel.edu                       (Leslie Cohn)
comer:          comers@citadel.bitnet                   (Stephen Comer)
rcooper:        cooper@cogsci.edinburgh.ac.uk           (Robin Cooper)
scooper:        cooper@top.cis.syr.edu                  (Steve Cooper)
coppey:         coppey@mathp7.jussieu.fr                (Luc Coppey)
cosmadakis:     stavros@saul.cis.upenn.edu              (Stavros Cosmadakis)
cowen:          mthmjc@ubvms.bitnet                     (Mike Cowen)
crans:          crans@math.ruu.nl                       (Sjoerd Crans)
crew:           crew@cs.stanford.edu                    (Roger Crew)
crole:          rlc@doc.imperial.ac.uk                  (Roy Crole)
crossley:       jnc@bruce.cs.monash.edu.au              (John Crossley)
crow:           crow@csl.sri.com                        (Judy Crow)
cruciani:       cruciani@vaxrma.infn.it                 (Rosanna Cruciani)
cubric:         cubric@triples.math.mcgill.ca           (Djordje Cubric)
curien:         curien@dmi.ens.fr                       (Pierre-Louis Curien)
davey:          davey@latcs1.lat.edu.au                 (Brian Davey)
davis:          davism@acf4.nyu.edu                     (Martin Davis)
dawson:         rdawson@husky1.stmarys.ca               (Robert Dawson)
degano:         degano@di.unipi.it                      (Pier-Paolo Degano)
delfour:        delfour@cc.umontreal.ca                 (Michel Delfour)
dershowitz:     nachum@cs.uiuc.edu                      (Nachum Dershowitz)
diaconescu:     rdcbb@cunyvm.bitnet                     (Radu Diaconescu)
diekert:        diekert@informatik.tu-muenchen.de       (Volker Diekert)
diers:          diers@frcitl81.bitnet                   (Yves Diers)
doh:            doh@ksuvax1.cis.ksu.edu                 (Kyung-Goo Doh)
dolan:          v088kj6a@ubvms.cc.buffalo.edu           (James Dolan)
dong:           xdong@clid.yorku.ca                     (Xiaomin Dong)
doob:           mdoob@ccu.umanitoba.ca                  (Michael Doob)
dragalin:       h2848dra@ella.hu                        (? Dragalin)
duba:           duba@rice.edu                           (Bruce Duba)
dubey:          rdubey@yoda.eecs.wsu.edu                (Rakesh Dubey)
dubuc:          dcfden!edubuc@mate.edu.ar               (Eduardo Dubuc)
duggan:         den@cs.umd.edu                          (Dominic Duggan)
dunn:           dunn@iuvax.cs.indiana.edu               (Mike Dunn)
duskin:         mthduskn@ubvms.bitnet                   (Jack Duskin)
dybkjaer:       dybkjaer@ruc.dk                         (Hans Dybkjaer)
edalat:         ae@doc.ic.ac.uk                         (Abbas Edalat)
ehlers:         map010@bangor.ac.uk                     (Philip Ehlers)
ehresmann:      ehres@mathp7.jussieu.fr                 (Andree Ehresmann)
ehrhard:        ehrhard@ens.fr                          (Thomas Ehrhard)
ehrlich:        ehrlich@inria.inria.fr                  (Bobby Ehrlich)
vaneijck:       jve@cwi.nl                              (Jan.van Eijck)
emerson:        a.emerson@cs.utexas.edu                 (Alan Emerson)
enderton:       hbe@math.ucla.edu                       (Herb Enderton)
engeler:        engeler@math.ethz.ch                    (Erwin Engeler)
erne:           aberne@dhvrrzn1.uni-hannover.dbp.de     (Marcel Erne)
ernst:          mernst@theory.lcs.mit.edu               (Michael Ernst)
fagin:          fagin@almaden.ibm.com                   (Ron Fagin)
faro:           v068p76v@ubvmsa.bitnet                  (Emilio Faro)
fasel:          jhf@lanl.gov                            (Joe Fasel)
feferman:       sf@csli.stanford.edu                    (Sol Feferman)
feigenbaum:     jf@research.att.com                     (Joan Feigenbaum)
feit:           p_feit@utpb.pb.utexas.edu               (Paul Feit)
feldman:        d_feldman@unhh.bitnet                   (David Feldman)
ferguson:       mike@tel.inrs.cdn                       (Michael Ferguson)
ferreirim:      mimafer@ptearn.bitnet                   (Isabel Ferreirim)
fiedorowicz:    zigf@mps.ohio-state.edu                 (Zbigniew Fiedorowicz)
finkelstein:    stacy@saul.cis.upenn.edu                (Stacy Finkelstein)
fischer:        fischer-michael@cs.yale.edu             (Mike Fischer)
fitting:        mlflc@cunyvm.bitnet                     (Melvin Fitting)
floyd:          floyd@cs.stanford.edu                   (Bob Floyd)
font:           font@cerber.ub.es                       (Josep Font)
foo:            norman@cs.su.edu.au                     (Norman Foo)
fourman:        mikef@dcs.edinburgh.ac.uk               (Michael Fourman)
fox:            fox@triples.math.mcgill.ca              (Thomas Fox)
freese:         ralph@math.hawaii.edu                   (Ralph Freese)
frei:           bitnet.arfr@ubcmtsg                     (Armin Frei)
freire:         freire@seins.santiago.usc.es            (J.L. Freire)
freyd:          pjf@saul.cis.upenn.edu                  (Peter Freyd)
pamfreyd:       pam@linc.cis.upenn.edu                  (Pam Freyd)
fried:          efried@ludens.elte.hu                   (Ervin Fried)
fritsch:        ug143cb@sunmail.lrz-muenchen.de         (Rudolph Fritsch)
fukushima:      fukushim@cpsc.ucalgary.ca               (Tom Fukushima)
funk:           jfunk@morgan.ucs.mun.ca                 (Jonathan Funk)
fusco:          sfusco@clid.yorku.ca                    (Sandro Fusco)
gago:           alzzs002@seins.santiago.usc.es          (Felipe Gago)
gaifman:        gaifman@humus.huji.ac.il                (Haim Gaifman)
gaitan:         gaitan@sun.com                          (Hernando Gaitan)
gallier:        jean@saul.cis.upenn.edu                 (Jean Gallier)
ganong:         ganong@vm1.yorku.ca                     (Richard Ganong)
gehlot:         gehlot@cis.udel.edu                     (Vijay Gehlot)
gehrke:         wgehrke@risc.uni-linz.ac.at             (Wolfgang Gehrke)
vangelder:      avg@cs.ucsc.edu                         (Allen.Van Gelder)
genrich:        genrich@gmdzi.gmd.de                    (Hartmann Genrich)
geramita:       anthony.v.geramita@queensu.ca           (Anthony Geramita)
gerstenhaber:   gersten@penndrls.bitnet                 (Murray Gerstenhaber)
gerth:          wsinrobg@eutrc3.urc.tue.nl              (Rob Gerth)
ghelli:         ghelli@di.unipi.it                      (Giorgio Ghelli)
ghilardi:       ghilardi@imiucca.csi.unimi.it           (Silvio Ghilardi)
girard:         girard@margaux.inria.fr                 (Jean-Yves Girard)
givant:         gluscha@logique.jussieu.fr              (Steve Givant)
vanglabbeek:    rvg@cs.stanford.edu                     (Rob.van Glabbeek)
glenn:          glenn@cua.edu                           (Paul Glenn)
goetz:          abe@cartan.math.nd.edu                  (Abraham Goetz)
goguen:         joseph.goguen@prg.oxford.ac.uk          (Joseph Goguen)
golasinski:     mg001@pltumk11.bitnet                   (Marek Golasinski)
bgoldberg:      goldberg@cs.nyu.edu                     (Ben Goldberg)
goldblatt:      rob@math.vuw.ac.nz                      (Rob Goldblatt)
goltz:          gf1018@dbngmd21.bitnet                  (Ulla Goltz)
goodaire:       edgar@munucs.mun.ca                     (Edgar Goodaire)
goodloe:        agoodloe@gmuvax2.gmu.edu                (Al Goodloe)
gordon:         gordon@euclid.math.temple.edu           (Robert Gordon)
grandis:        grandis@cisi.unige.it                   (Marco Grandis)
gratzer:        gratzer@ccm.umanitoba.ca                (George Gratzer)
gray:           gray@math.uiuc.edu                      (John Gray)
grove:          grove@cs.stanford.edu                   (Adam Grove)
grunenfelder:   luzius@cs.dal.ca                        (Luzius Grunenfelder)
gruska:         gruska@informatik.uni-hamburg.de        (Jozef Gruska)
guessarian:     ig@litp.ibp.fr                          (Irene Guessarian)
guitart:        guitart@mathp7.jussieu.fr               (Rene Guitart)
gunawardena:    jhcg@hplb.hpl.hp.com                    (Jeremy Gunawardena) 
cgunter:        gunter@central.cis.upenn.edu            (Carl Gunter)
egunter:        elsa@research.att.com                   (Elsa Gunter)
gupta:          vgupta@cs.stanford.edu                  (Vineet Gupta)
gurevich:       gurevich@dip.eecs.umich.edu             (Yuri Gurevich)
halmos:         phalmos@scuacc.scu.edu                  (Paul Halmos)
dhalpern:       jdan@sun.com                            (Dan Halpern)
jhalpern:       halpern@almaden.ibm.com                 (Joe Halpern)
hanna:          fkh@ukc.ac.uk                           (Keith Hanna)
hardie:         hardieka@uctvax.uct.ac.za               (Kieth Hardie)
harel:          harel@wisdom.weizmann.ac.il             (David Harel)
harland:        jah@mullauna.cs.mu.edu.au               (James Harland)
harper:         rwh@cs.cmu.edu                          (Robert Harper)
hart:           wiawkph@dutrun2.tudelft.nl              (Klaas Hart)
haveraaen:      magne.haveraaen@ii.uib.no               (Magne Haveraaen)
hebert:         mhebert@mat.ulaval.ca                   (Michel Hebert)
heckmann:       heckmann@cs.uni-sb.de                   (Reinhold Heckmann)
heggie:         heggie@cad.uccb.ns.ca                   (Murray Heggie)
hennessy:       matthewh@cogs.sussex.ac.uk              (Matthew Hennessy)
henriksen:      henriksen@hmcvax.claremont.edu          (Mel Henriksen)
henzinger:      tah@cs.stanford.edu                     (Tom Henzinger)
herrmann:       herrmann@mathematik.th-darmstadt.de     (Christian Herrmann)
herz:           herz@gauss.math.mcgill.ca               (Carl Herz)
hill:           whill@netcom.com                        (Walt Hill)
hillebrand:     ggh@cs.brown.edu                        (Gerd Hillebrand)
hindley:        majrh@pyr.swan.ac.uk                    (Roger Hindley)
hoare:          julie@prg.oxford.ac.uk                  (Tony Hoare)
hodgson:        bhodgson@vm1.ulaval.ca                  (Bernard Hodgson)
hoehnke:        gabi@opal.cs.tu-berlin.de               (Hans-Jurgen Hoehnke)
hofmann:        mxh@dcs.ed.ac.uk                        (Martin Hofmann)
honsell:        honsell@uduniv.cineca.it                (Furio Honsell)
hoofman:        raymond@cs.ruu.nl                       (Raymond Hoofman)
hook:           hook@cse.ogi.edu                        (James Hook)
hopcroft:       jeh@cs.cornell.edu                      (John Hopcroft)
howlett:        72740.2237@compuserve.com               (Chris Howlett)
hsiang:         hsiang@sbcs.sunysb.edu                  (Jieh Hsiang)
hu:             hu@math.mcgill.ca                       (Hong.de Hu)
hudak:          hudak@cs.yale.edu                       (Paul Hudak)
huet:           huet@inria.inria.fr                     (Gerard Huet)
hunsaker:       ga3600@siucvmb.bitnet                   (W. Hunsaker)
husberg:        nhu@dione.hut.fi                        (Nisse Husberg)
huth:           mrh@tulmath.math.tulane.edu             (Michael Huth)
hyland:         jmeh1@phoenix.cambridge.ac.uk           (Martin Hyland)
hyndman:        jhyndman@cs.sfu.ca                      (Jennifer Hyndman)
idziak:         idziak@math.berkeley.edu                (Pawel Idziak)
isbell:         mthisbel@ubvms.cc.buffalo.edu           (John Isbell)
iskander:       awadisk@usl.edu                         (Awad Iskander)
israel:         israel@ai.sri.com                       (David Israel)
istrail:        sistrail@eagle.wesleyan.edu             (Soren Istrail)
ito:            ito@ito.ecei.tohoku.junet               (Takayasu Ito)
iyer:           ramu@cadsun.corp.mot.com                (Ramu Iyer)
jacobs:         bjacobs@math.ruu.nl                     (Bart Jacobs)
jaffar:         joxan@watson.ibm.com                    (Joxan Jaffar)
jagadeesan:     rj2@doc.imperial.ac.uk                  (Radha Jagadeesan)
james:          wjames@adam.adelaide.edu.au             (William James)
janelidze:      gjnel@imath.kheta.georgia.su            (George Janelidze)
janssen:        theo@fwi.uva.nl                         (Theo Janssen)
jardine:        jardine@uwovax.uwo.ca                   (John Jardine)
jay:            cbj@socs.uts.edu.au                     (Barry Jay)
jeffrey:        alan.jeffrey@prg.oxford.ac.uk           (Alan Jeffrey)
jenkins:        maj@qucis.bitnet                        (Mike Jenkins)
jezek:          jarda@math.hawaii.edu                   (Jaroslav Jezek)
jibladze:       jib@imath.kheta.georgia.su              (Mamuka Jibladze)
mjohnson:       mike@macadam.mpce.mq.edu.au             (Mike Johnson)
pjohnson:       pjohnson@eagle.wesleyan.edu             (Paul Johnson)
jonsson:        jonsson@athena.cas.vanderbilt.edu       (Bjarni Jonsson)
jouvelot:       jouvelot@ensmp.fr                       (Pierre Jouvelot)
joyal:          joyal@math.uqam.ca                      (Andre Joyal)
joyce:          djoyce@ollie.clarku.edu                 (David Joyce)
jung:           jung@mathematik.th-darmstadt.de         (Achim Jung)
kahn:           kahn@mirsa.inria.fr                     (Gilles Kahn)
kane:           kane@uwovax.uwo.ca                      (Richard Kane)
kanellakis:     pck@cs.brown.edu                        (Paris Kanellakis)
kao:            kao@iuvax.cs.indiana.edu                (Ming Kao)
kapranov:       kapranov@mssun7.msi.cornell.edu         (Mikhail Kapranov)
karp:           karp@ernie.berkeley.edu                 (Dick Karp)
kasangian:      kasan@vmimat.mat.unimi.it               (Stefano Kasangian)
katsov:         katsov@hanover.edu                      (Yefim Katsov)
kearnes:        kearnes@fenris.claremont.edu            (Keith Kearnes)
kelly:          kelly_m@maths.su.edu.au                 (Max Kelly)
kennaway:       jrk@sys.uea.ac.uk                       (Richard Kennaway)
kennison:       jkennison@clarku                        (John Kennison)
kent:           rekent@ualr.edu                         (Robert Kent)
kfoury:         kfoury@bu-cs.bu.edu                     (Dennis Kfoury)
kieboom:        rkieboom@tena2.vub.ac.be                (Rudger Kieboom)
kiehn:          kiehn@informatik.tu-muenchen.de         (Astrid Kiehn)
klarlund:       klarlund@cs.cornell.edu                 (Nils Klarlund)
kleisli:        kleisli@cfruni52.bitnet                 (Heinrich Kleisli.)
klop:           jwk@cwi.nl                              (Jan Klop)
knijnenburg:    peterk@cs.ruu.nl                        (Peter Knijnenburg)
knobel:         andreas@etl.go.jp                       (Andreas Knobel)
knutson:        allenk@ugcs.caltech.edu                 (Allan Knutson)
kochman:        kochman@nexus.yorku.ca                  (Stanley Kochman)
kock:           matak@mi.aau.dk                         (Anders Kock)
kolaitis:       kolaitis@cs.ucsc.edu                    (Phokion Kolaitis)
kondoh:         kondoh@harl.hitachi.co.jp               (Hidetaka Kondoh)
koslowski:      aberne@dhvrrzn1.uni-hannover.d400.de    (Juergen Koslowski)
kotov:          kotov@hplkotov.hpl.hp.com               (Vadim Kotov)
kozen:          kozen@cs.cornell.edu                    (Dexter Kozen)
kwiatkowska:    mzk@leicester.ac.uk                     (Marta Kwiatkowska)
labella:        labella@sci.uniroma1.it                 (Anna Labella)
labute:         labute@gauss.math.mcgill.ca             (John Labute)
ladkin:         ladkin@icsib8.berkeley.edu              (Peter Ladkin)
ladner:         ladner@cs.washington.edu                (Richard Ladner)
lafont:         lafont@dmi.ens.fr                       (Yves Lafont)
lair:           lair@mathp7.jussieu.fr                  (Christian Lair)
lamarche:       gfl@doc.ic.ac.uk                        (Francois Lamarche)
lambe:          lambe@math.ethz.ch                      (Larry Lambe)
lambek:         lambek@triples.math.mcgill.ca           (Joachim Lambek)
lampe:          lampe@kahuna.math.hawaii.edu            (Bill Lampe)
lamport:        lamport@src.dec.com                     (Leslie Lamport)
lassez:         jll@watson.ibm.com                      (Jean-Louis Lassez)
latch:          dml@bklyncis.bitnet                     (Dana Latch)
latting:        latting@math.berkeley.edu               (Chuck Latting)
launchbury:     jl@dcs.glasgow.ac.uk                    (John Launchbury)
lawvere:        mthfwl@ubvms.cc.buffalo.edu             (Bill Lawvere)
leavens:        leavens@iastate.edu                     (Gary Leavens)
leech:          leech@westmont.edu                      (Jonathan Leech)
leeney:         stmt8015@iruccvax.ucc.ie                (Mark Leeney)
leivant:        leivant@cs.indiana.edu                  (Daniel Leivant)
lent:           aflent@theory.lcs.mit.edu               (Arthur Lent)
levin:          lnd@cs.bu.edu                           (Leonid Levin)
lewin:          rlewin@mat.puc.cl                       (Renato Lewin)
liao:           aliao@eagle.wesleyan.edu                (Andrew Liao)
libkin:         libkin@saul.cis.upenn.edu               (Leonid Libkin)
lifschitz:      lifschitz@cs.stanford.edu               (Vladimir Lifschitz)
lilius:         jli@dione.hut.fi                        (Johan Lilius)
lincoln:        lincoln@cs.stanford.edu                 (Pat Lincoln)
lindemann:      lindemann@spint.compuserve.com          (Ina Lindemann)
linton:         flinton@eagle.wesleyan.edu              (Fred Linton)
lippincott:     lippin@math.berkeley.edu                (Tom Lippincott)
lipton:         lipton@saul.cis.upenn.edu               (Jim Lipton)
loader:         loader@maths.oxford.ac.uk               (Ralph Loader)
longo:          longo@dmi.ens.fr                        (Giuseppe Longo)
lord:           hlord@csupomona.edu                     (Harriet Lord)
loui:           mloui@note.nsf.gov                      (Michael Loui)
lowry:          lowry@kestrel.edu                       (Mike Lowry)
lubarsky:       r_lubarsky@faudm.bitnet                 (Robert Lubarsky)
lubliner:       coby@ucbcevax.bitnet                    (Coby Lubliner)
luckham:        dcl@anna.stanford.edu                   (David Luckham)
lynch:          lynch@holmes.lcs.mit.edu                (Nancy Lynch)
ma:             qingming.ma@cs.cmu.edu                  (Qingming Ma)
maccaull:       maccaull@essex.stfx.ca                  (Wendy MacCaull)
macdonald:      johnm@math.ubc.ca                       (John MacDonald)
macleod:        richardm@kean.ucs.mun.ca                (Richard MacLeod)
maclane:        saunders@math.uchicago.edu              (Saunders Mac_Lane)
mackenzie:      pm1kchm@primea.sheffield.ac.uk         (K.Charles.H. 
Mackenzie)
mackie:         im@doc.ic.ac.uk                         (Ian Mackie)
macon:          nmacon@nsf.gov                          (Nat Macon)
macqueen:       macqueen@research.att.com               (David Macqueen)
maddux:         maddux@iastate.edu                      (Roger Maddux)
madhav:         madhav@neon.stanford.edu                (Neel Madhav)
mahmood:        arshad@dcs.edinburgh.ac.uk              (H. Mahmood)
main:           main@boulder.colorado.edu               (Michael Main)
majid:          shm10@phx.cam.ac.uk                     (Shahn Majid)
makkai:         makkai@triples.math.mcgill.ca           (Michael Makkai)
manes:          manes@math.umass.edu                    (Ernie Manes)
manna:          manna@cs.stanford.edu                   (Zohar Manna)
margolis:       stu@lovelace.unl.edu                    (Stu Margolis)
marki:          h1133mar@huella.bitnet                  (Laszlo Marki)
marmolejo:      marmol@cs.dal.ca                        (Francisco Marmolejo)
marshall:       marshacd@snypotva.potsdam.edu           (Charlie Marshall)
marti-oliet:    narciso@csl.sri.com                     (Narciso Marti-Oliet)
martini:        martini@di.unipi.it                     (Simone Martini)
mathieu:        momathie@mathp7.jussieu.fr              (Monique Mathieu)
mauri:          mauri@hermes.dsi.unimi.it               (Giancarlo Mauri)
mawanda:        mawanda@mango.apc.org                   (M.W. Mawanda)
mccoll:         wfm@prg.oxford.ac.uk                    (Bill McColl)
jmckay:         mckay@conu1.bitnet                      (John McKay)
wmckay:         wendy@cc.umontreal.ca                   (Wendy McKay)
mclarty:        cxm7@po.cwru.edu                        (Colin McLarty)
mcnulty:        mcnulty@math.scarolina.edu              (George McNulty)
mcrobbie:       mam@arp.anu.edu.au                      (Michael McRobbie)
meakin:         meakin@hoss.unl.edu                     (John Meakin)
measor:         ndm@mcs.le.ac.uk                        (Nick Measor)
meloni:         meloni@imiucca.unimi.it                 (Gian.Carlo Meloni)
melton:         austin@cis.ksu.edu                      (Austin Melton)
mercouroff:     nm@cs.brandeis.edu                      (Nicolas Mercouroff)
meseguer:       meseguer@csl.sri.com                    (Jose Meseguer)
meyer:          meyer@theory.lcs.mit.edu                (Albert Meyer)
milner:         rm@dcs.edinburgh.ac.uk                  (Robin Milner)
mints:          mints@csli.stanford.edu                 (Grigori Mints)
mislove:        mwm@tulmath.math.tulane.edu             (Michael Mislove)
misra:          misra@cs.utexas.edu                     (Jay Misra)
mitchell:       jcm@cs.stanford.edu                     (John Mitchell)
miyoshi:        miyoshi@slab.sfc.keio.ac.jp             (Hiroyuki Miyoshi)
mochnacki:      stefan@centaur.astro.utoronto.ca        (Stefan Mochnacki)
moerdijk:       moerdijk@math.ruu.nl                    (Ieke Moerdijk)
moggi:          moggi@disi.unige.it                     (Eugenio Moggi)
moller:         fm@dcs.edinburgh.ac.uk                  (Faron Moller)
molnar:         molnar@math.macalstr.edu                (Richard Molnar)
monro:          monro_g@maths.su.edu.au                 (Gordon Monro)
montanari:      ugo@di.unipi.it                         (Ugo Montanari)
demoor:         oege.de.moor@prg.oxford.ac.uk           (Oege.de Moor)
moschovakis:    ynm@math.ucla.edu                       (Yiannis Moschovakis)
moshier:        mam@pic.ucla.edu                        (Drew Moshier)
moss:           lmoss@ucs.indiana.edu                   (Larry Moss)
mosses:         pdmosses@daimi.aau.dk                   (Peter Mosses)
muller:         muller@harvard.edu                      (Robert Muller)
mulry:          psm@dcs.edinburgh.ac.uk                 (Phil Mulry)
mulvey:         c.j.mulvey@cluster.sussex.ac.uk         (Chris Mulvey)
mumford:        mumford@zariski.harvard.edu             (David Mumford)
murphy:         david@gmdzi.gmd.de                      (David Murphy)
murthy:         murthy@cs.cornell.edu                   (Chet Murthy)
murty:          murty@gauss.math.mcgill.ca              (Ram Murty)
narendran:      dran@cs.albany.edu                      (Paliath Narendran)
nation:         nation@kahuna.math.hawaii.edu           (James.B. Nation)
nelson:         nealn@cse.ogi.edu                       (Neal Nelson)
nerode:         nerode@mssun6.msi.cornell.edu           (Anil Nerode)
nickau:         nickau@hrz.uni-siegen.de                (Hanno Nickau)
nico:           nico@csuhayward.edu                     (William Nico)
denicola:       denicola@icnucevm.cnuce.cnr.it          (Rocco.De Nicola)
niefield:       niefiels@gar.union.edu                  (Susan Niefield)
nongxa:         nongxa@math.harvard.edu                 (Loyiso Nongxa)
nowakowski:     rjn@cs.dal.ca                           (Richard Nowakowski)
oates-williams: sw@maths.uq.edu.au                      (Sheila 
Oates-Williams)
ohearn:         ohearn@top.cis.syr.edu                  (Peter Ohearn)
ohori:          ohori@okilab.oki.co.jp                  (Atsushi Ohori)
okada:          okada@concour.cs.concordia.ca           (Mitsu Okada)
oles:           oles@watson.ibm.com                     (Frank Oles)
ong:            chlo1@cl.cam.ac.uk                      (Luke Ong)
oosten:         oosten@math.ruu.nl                      (J.van Oosten)
orzech:         orzechm@qucdn.bitnet                    (Morris Orzech)
otto:           otto@triples.math.mcgill.ca             (Jim Otto)
overbeek:       overbeek@anl-mcs.arpa                   (Russ Overbeek)
depaiva:        valeria.paiva@cl.cam.ac.uk              (Valeria.de Paiva)
palfy:          h1134pal@huella.bitnet                  (P. Palfy)
palmquist:      90066900660.1050@compuserve.com         (Paul Palmquist)
panangaden:     prakash@opus.cs.mcgill.ca               (Prakash Panangaden)
papert:         seymour@media-lab.media.mit.edu         (Seymour Papert)
pare:           pare@cs.dal.ca                          (Bob Pare)
parikh:         ripbc@cunyvm.cuny.edu                   (Rohit Parikh)
parker:         stott@cs.ucla.edu                       (Stott Parker)
paseman:        paseman@math.berkeley.edu               (Gerhard Paseman)
mpaterson:      msp@dcs.warwick.ac.uk                   (Mike Paterson)
rpaterson:      rap@doc.ic.ac.uk                        (Ross Paterson)
paulson:        lcp@cl.cam.ac.uk                        (Larry Paulson)
pavlovic:       pavlovic@triples.math.mcgill.ca         (Dusko Pavlovic)
pearson:        jkp@ukc.ac.uk                           (Justin Pearson)
peckhaus:    volker.v.peckhaus@pc.philosophie.uni-erlangen.de (Volker 
Peckhaus)
pedicchio:      pedicchi@univ.trieste.it                (Cristina Pedicchio)
pelletier:      jwpell@vm2.yorku.ca                     (Joan Pelletier)
penon:          penon@mathp7.jussieu.fr                 (Jean Penon)
peters:         stanley.peters@prg.ox.ac.uk             (Stanley Peters)
pettorossi:     adp@irmiasi.rm.cnr.it                   (Alberto Pettorossi)
pfenniger:      mas034@vaxa.bangor.ac.uk                (Markus Pfenniger)
phillips:       phillips@uvvm.bitnet                    (John Phillips)
pierce:         benjamin.pierce@cs.cmu.edu              (Benli Pierce)
pigozzi:        pigozzi@iastate.edu                     (Don Pigozzi)
pinter:         pinter-shlomit@cs.yale.edu              (Shlomit Pinter)
pitt:           dhp@mcs.surrey.ac.uk                    (David Pitt)
pitts:          ap@cl.cam.ac.uk                         (Andy Pitts)
pixley:         apixley@sif.claremont.edu               (Alden Pixley)
plaice:         plaice@ift.ulaval.ca                    (John Plaice)
plaisted:       plaisted@cs.unc.edu                     (David Plaisted)
platek:         richard@oracorp.com                     (Richard Platek)
platt:          ccm.umanitoba.ca                        (Craig Platt)
plotkin:        gdp@dcs.edinburgh.ac.uk                 (Gordon Plotkin)
pnueli:         amir@wisdom.weizmann.ac.il              (Amir Pnueli)
poigne:         ap@gmdzi.gmd.de                         (Axel Poigne)
poirot:         poirot@boole.stanford.edu               (Hercule Poirot)
pollara:        pollara@csearn.bitnet                   (Victor Pollara)
porst:          porst@informatik.uni-bremen.de          (Hans-E. Porst)
porter:         mas013@vaxc.bangor.ac.uk                (Tim Porter)
power:          ajp@dcs.ed.ac.uk                        (John Power)
pratt:          pratt@cs.stanford.edu                   (Vaughan Pratt)
priestley:      hap@vax.oxford.ac.uk                    (Hilary Priestley)
probst:         probst@bond.crim.ca                     (Richard Probst)
proute:         ap@mathp7.jussieu.fr                    (Alain Proute)
pym:            dpym@dcs.edinburgh.ac.uk                (David Pym)
quackenbush:    qbush@ccu.umanitoba.ca                  (Bob Quackenbush)
rabin:          rabin@humus.huji.ac.il                  (Michael Rabin)
rabinovich:     alik@watson.ibm.com                     (Alexander Rabinovich)
rachev:         zarirach@bernoulli.ucsb.edu             (Zari Rachev)
raja:           raja@tifrvax.bitnet                     (N. Raja)
ramshaw:        ramshaw@src.dec.com                     (Lyle Ramshaw)
randall:        randall@elbereth.rutgers.edu            (John Randall)
raphael:        raphael@vax2.concordia.ca               (Robert Raphael)
rattray:        cr@cs.stir.ac.uk                        (Charles Rattray)
remmel:         remmel@kleene.ucsd.edu                  (Jeff Remmel)
repin:          repin@log.mian.su                       (Nikolai Repin)
reyes:          reyes@mathcn.umontreal.ca               (Gonzalo Reyes)
reynolds:       john.reynolds@c.cs.cmu.edu              (John Reynolds)
riecke:         riecke@theory.lcs.mit.edu               (Jon Riecke)
riemens:        sriemens@vega.math.ualberta.ca        (Sherman 
Riemenschneider)
ritter:         er@cl.cam.ac.uk                         (Eike Ritter)
erobinson:      edmundr@cogs.susx.ac.uk                 (Edmund Robinson)
krobinson:      kenr@elecvac.oz.au                      (Ken Robinson)
deroever:       wsinwpr@eutrc3.urc.tue.nl               (Willem.de Roever)
rolfsen:        dale_rolfsen@mtsg.ubc.ca                (Dale Rolfsen)
roman:          lr@doc.ic.ac.uk                         (Leopoldo Roman)
romanowska:     aroman@plwatu21.bitnet                  (Anna Romanowska)
rosebrugh:      rrosebrugh@macc2.mta.ca                 (Bob Rosebrugh)
rosenthal:      rosenthk@gar.union.edu                  (Kimmo Rosenthal)
rosicky:        rosicky@queen.math.muni.cs              (Jiri Rosicky)
rosolini:       rosolini@dima.unige.it                  (Pino Rosolini)
rossello:       dmifrl0@ps.uib.es                       (Cesc Rossello)
rota:           rota@math.mit.edu                       (Gian-Carlo Rota)
rotman:         rotman@symcom.math.uiuc.edu             (Joseph Rotman)
rounds:         rounds@engin.umich.edu                  (Bill Rounds)
rousseau:       geo@leicester.ac.uk                     (George Rousseau)
rovan:          uniba!rovan@relay.eu.net                (Branislav Rovan)
rowan:          rowan@garnet.berkeley.edu               (W.H. Rowan)
rozenberg:      rozenber@rulcri.leidenuniv.nl           (Grzegor Rozenberg)
rozenfeld:      ar@alv.umd.edu                          (Azriel Rozenfeld)
rudich:         arie@theory.lcs.mit.edu                 (Arie Rudich)
rudie:          rudie@ecfb.toronto.edu                  (Karen Rudie)
ruitenburg:     wimr@math.mscs.mu.edu                   (Wim Ruitenburg)
rumbos:         rumbos@unamvm1.dgsca.unam.mx            (Beatriz Rumbos)
rus:            rus@herky.cs.uiowa.edu                  (Theodor Rus)
rutten:         jan.rutten@cwi.nl                       (Jan Rutten)
rydeheard:      david@r3.cs.man.ac.uk                   (David Rydeheard)
sain:           h1468sai@ella.hu                        (Ildiko Sain)
sakurai:        a87480@tansei.cc.u-tokyo.ac.jp          (Takafumi Sakurai)
sankappanevar:  sankah@snynewba.bitnet        (Hanamantagouda.P. 
Sankappanevar)
sannella:       dts@dcs.edinburgh.ac.uk                 (Don Sannella)
santas:         santas@inf.ethz.ch                      (Philip Santas)
sapir:          msapir@hoss.unl.edu                     (Mark Sapir)
saramago:       matjoao%ptearn.bitnet@frmop11.cnusc.fr  (Maria Saramago)
saraswat:       saraswat@parc.xerox.com                 (Vijay Saraswat)
sassone:        vladi@di.unipi.it                       (Vladimir Sassone)
sato:           schuko@sun4.cc.kyushu-u.ac.jp           (Hiroyuki Sato)
scedrov:        andre@cis.upenn.edu                     (Andre Scedrov)
schack:         mthsds@ubvms.bitnet                     (Samuel Schack)
schelter:       wfs@cli.com                             (Bill Schelter)
schmid:         schmid@math-stat.unibe.ch               (Jurg Schmid)
schmidt:        jschmidt@daimi.dk                       (Jorn Schmidt)
schroeppel:     rcs@la.tis.com                          (Rich Schroeppel)
schumacher:     dietmar@ace.acadiau.ca                  (Dietmar Schumacher)
schwarze:       rlewin@mat.puc.cl                       (Maria Schwarze)
scollo:         scollo@cs.utwente.nl                    (Giuseppe Scollo)
scot:           gyro-cs@zeta-soft.com                   (Burson Scot)
dscott:         dana.scott@proof.ergo.cs.cmu.edu        (Dana Scott)
pscott:         scpsg@acadvm1.uottawa.ca                (Phil Scott)
seely:          rags@triples.math.mcgill.ca             (Robert Seely)
seldin:         seldin@alcor.concordia.ca               (Jonathan Seldin)
seligman:       jerry@phil.indiana.edu                  (Jerry Seligman)
shankar:        shankar@csl.sri.com                     (Natarajan Shankar)
shapiro:        udi@wisdom.weizmann.ac.il               (Udi Shapiro)
shieber:        shieber@das.harvard.edu                 (Stuart Shieber)
shields:        m.shields@mcs.surrey.ac.uk              (Mike Shields)
sichler:        sichler@ccm.umanitoba.ca                (Jiri Sichler)
sieber:         sieber@cs.uni-sb.de                     (Kurt Sieber)
isimon:         is@ime.usp.br                           (Imre Simon)
simons:         simons@karlsruhe.gmd.de                 (Martin Simons)
slifker:        slifker@svax.cs.cornell.edu             (Michael Slifker)
smaill:         smaill@aipna.edinburgh.ac.uk            (Alan Smaill)
small:          nwnexus!cjsa!jeff@uunet.uu.net          (Jeffery Small)
gsmith:         dalcs!gretchen@uunet.uu.net             (Gretchen Smith)
ssmith:         scott@cs.jhu.edu                        (Scott Smith)
gsmolka:        smolka@dfki.uni-sb.de                   (Gert Smolka)
ssmolka:        sas@cs.sunysb.edu                       (Scott Smolka)
soare:          soare@gargoyle.uchicago.edu             (Bob Soare)
sobral:         sobral@ciuc2.uc.rccn.pt                 (Manuela Sobral)
sokolowski:     panss@halina.univ.gda.pl                (Stefan Sokolowski)
spencer:        dwights@cse.ogi.edu                     (Dwight Spencer)
spooner:        spoonerd@cpsc.ucalgary.ca               (Dave Spooner)
spreen:         spreen@hrz.uni-siegen.de                (Dieter Spreen)
srinivas:       srinivas@kestrel.edu                    (Yellamraju Srinivas)
staples:        staples@uqcspe.cs.uq.edu.au             (John Staples)
starchenko:     starchen@cs.sfu.ca                      (Sergei Starchenko)
stark:          stark@cs.sunysb.edu                     (Eugene Stark)
stasheff:       jds@charlie.math.unc.edu                (James Stasheff)
steele:         steele@think.com                        (Guy Steele)
steiner:        maths@vme.gla.ac.uk                     (Richard Steiner)
stell:          john@cs.kl.ac.uk                        (John Stell)
stengel:        i51bbvs@rz.unibw-muenchen.de            (Bernhard.von Stengel)
stewart:        cstewart@watserv1.uwaterloo.ca          (Cameron Stewart)
stolboushkin:   aps1@node.ias.msk.su                    (Alex Stolboushkin)
mstone:         mgstone@acs.ucalgary.ca                 (Mike Stone)
astone:         stone@math.ubc.ca                       (Art Stone)
stoughton:      allen@cogs.sussex.ac.uk                 (Allen Stoughton)
stout:          lnstout@uxh.cso.uiuc.edu                (Lawrence Stout)
strecker:       strecker@galois.math.ksu.edu            (George Strecker)
street:         street@macadam.mpce.mq.edu.au           (Ross Street)
streicher:      streiche@informatik.uni-muenchen.de     (Thomas Streicher)
subrahmanyam:   ramesh@linc.cis.upenn.edu               (Ramesh Subrahmanyam)
subramanian:    cayley@tifrvax.bitnet                   (P.S. Subramanian)
suenderhauf:    sunderhauf@mathematik.th-darmstadt.de   (Phillipp Suenderhauf)
sun:            ys4@mcs.le.ac.uk                        (Yong Sun)
suppes:         suppes@csli.stanford.edu                (Pat Suppes)
suzuki:         dai@is.s.u-tokyo.ac.jp                  (Daisuke Suzuki)
svensson:       svensson@unixg.ubc.ca                   (Anders Svensson)
swaminathan:    swami@cs.dal.ca                         (S. Swaminathan)
szabo:          szabo@vax2.concordia.ca                 (Fred Szabo)
szendrei:       h1029sze@huella.bitnet                  (Agnes Szendrei)
takayama:       takayama@cs.ritsumei.ac.jp              (Yukihide Takayama)
talcott:        clt@sail.stanford.edu                   (Carolyn Talcott)
tatsuta:        tatsuta@sato.riec.tohoku.ac.jp          (Makoto Tatsuta)
taubner:        taubner@informatik.tu-muenchen.de       (Dirk Taubner)
paultaylor:     pt@doc.ic.ac.uk                         (Paul Taylor)
philiptaylor:   p.taylor@vax.rhbnc.ac.uk                (Philip Taylor)
wtaylor:        wtaylor@boulder.colorado.edu            (Walt Taylor)
tennent:        rdt@qucis.queensu.ca                    (Bob Tennent)
thiagarajan:    pst@ssf.ernet.in                        (P.S. Thiagarajan)
tholen:         tholen@mathstat.yorku.ca                (Walter Tholen)
thompson:       tierney@mipsmath.math.uqam.ca           (Richard Thompson)
thomson:        tom@nw.stl.stc.co.uk                    (Tom Thomson)
thurston:       wpt@math.princeton.edu                  (Bill Thurston)
tierney:        tierney@math.uqam.ca                    (Myles Tierney)
tischendorf:    dc9m@mathematik.th-darmstadt.de         (Michael Tischendorf)
tiuryn:         tiuryn@cs.bu.edu                        (Jerzy Tiuryn)
tonks:          map003@vaxa.bangor.ac.uk                (Andy Tonks)
trakhtenbrot:   trakhte@math.tau.ac.il                  (Boris Trakhtenbrot)
tranah:         dt105@phoenix.cambridge.ac.uk           (David Tranah)
trnkova:        trnkova@cspguk11.bitnet                 (Vera Trnkova)
tschantz:       tschantz@athena.cas.vanderbilt.edu      (Steven Tschantz)
tsuiki:         tsuiki@kurims.kyoto-u.ac.jp             (Hideki Tsuiki)
turbak:         lyn@zurich.ai.mit.edu                   (Franklyn Turbak)
turi:           turi@cwi.nl                             (Daniele Turi)
urquhart:       urquhart@ai.toronto.edu                 (Alasdair Urquhart)
valeriote:      matt@johnny.math.mcmaster.ca            (Matthew Valeriote)
valiente:       dmigva0@ps.uib.es                       (Gabriel Valiente)
vanosdol:       d_vanosdol@unhh.unh.edu                 (Donovan Van.Osdol)
vardi:          vardi@almaden.ibm.com                   (Moshe Vardi)
velinov:        velinov@p39.f1.n721.z5.fidonet.org      (Yuri Velinov)
verity:         dom@macadam.mpce.mq.edu.au              (Dominic Verity)
verwer:         nico@cs.ruu.nl                          (Nico Verwer)
vianu:          vdvianu@ucsd.edu                        (Victor Vianu)
vickers:        sjv@doc.ic.ac.uk                        (Steve Vickers)
vigna:          vigna@pippo.sm.dsi.unimi.it             (Sebastiano Vigna)
vilcius:        vilcius@clid.yorku.ca                   (Al Vilcius)
vitanyi:        paulv@cwi.nl                            (Paul Vitanyi)
voevodsky:      vladimir@math.harvard.edu               (Vladimir Voevodsky)
volkov:         volkovm@math.urgu.e-burg.su             (Michail Volkov)
vovsi:          vovsi@math.rutgers.edu                  (Samuel Vovsi)
devries:        ferjan@cwi.nl                           (Fer-jan.de Vries)
waarts:         orli@cs.stanford.edu                    (Orli Waarts)
wachter:        wachter@itd.nrl.navy.mil                (Ralph Wachter)
wadler:         wadler@dcs.glasgow.ac.uk                (Philip Wadler)
ewagner:        wagner@watson.ibm.com                   (Eric Wagner)
kwagner:        kwagner@risc.uni-linz.ac.at             (Kim Wagner)
lwald:          linda@math.ucla.edu                     (Linda Wald)
dwald:          wald@theory.lcs.mit.edu                 (David Wald)
walicki:        michal@eik.ii.uib.no                    (Michal Walicki)
wallen:         lw@prg.ox.ac.uk                         (Lincoln Wallen)
walters:        walters_b@maths.su.edu.au               (Bob Walters)
wand:           wand@corwin.ccs.northeastern.edu        (Mitchell Wand)
wasilewska:     anita@sbcs.sunysb.edu                   (Anita Wasilewska)
weaver:         weaver@math.berkeley.edu                (Nick Weaver)
cwells:         cfw2@pop.cwru.edu                       (Charles Wells)
bwells:         wells@lynx.cs.usfca.edu                 (Benjamin Wells)
wendt:          wendt@cs.dal.ca                         (Michael Wendt)
white:          bwhite@inmet.inmet.com                  (Bill White)
willard:        puremath@math.waterloo.edu              (Ross Willard)
williams:       ewilliam@kean.ucs.mun.ca                (Ed Williams)
winkler:        winkler@csl.sri.com                     (Timothy Winkler)
winskel:        gwinskel@daimi.dk                       (Glynn Winskel)
wirsing:        wirsing@unipas.fmi.uni-passau.de        (Martin Wirsing)
wismath:        wismaths@hg.uleth.ca                    (Shelly Wismath)
rwood:          rjwood@cs.dal.ca                        (Richard Wood)
jwood:          wood@math.berkeley.edu                  (Japheth Wood)
wraith:         gavinw@sussex.ac.uk                     (Gavin Wraith)
wright:         gpwsg@acadvm1.uottawa.ca                (Graham Wright)
wyler:          wyler@cs.cmu.edu                        (Oswald Wyler)
yardini:        eyal@wisdom.weizmann.ac.il              (Eyal Yardini)
yarroll:        piggy@baqaqi.chi.il.us                  (La.Monte Yarroll)
yetter:         dyetter@math.ksu.edu                    (David Yetter)
yoshida:        yoshida@icot.or.jp                      (Kaoru Yoshida)
yoshiki:        yoshiki@etl.go.jp                       (Kinoshita Yoshiki)
young:          young@xx.lcs.mit.edu                    (Jonathan Young)
zadori:         h2865zad@huella.bitnet                  (Laszlo Zadori)
zawadowski:     marek@triples.math.mcgill.ca            (Marek Zawadowski)
zenith:         zenith@ensmp.fr                         (Steven Zenith)
zhang:          gqz@caen.engin.umich.edu                (G.Q. Zhang)
zimmerman:      zimmerman@snlndro.cerf.fred.org         (Ian Zimmerman)
zocco:          dean.zocco@klb                          (Meg Zocco)
#
# Groups
#
categories:     categories@mta.bitnet                   (Category Theory)
clics:          clics@doc.ic.ac.uk                      (ESPRIT CLiCS project)
ic-seminars:    ic-theory-seminars@doc.ic.ac.uk         (Imperial College)
pssl:           pssl@doc.ic.ac.uk    (Peripatetic Seminar on Sheaves and 
Logic)
synthetic:      sdt-list@doc.ic.ac.uk                 (Synthetic Domain 
Theory)
types:          types@dcs.gla.ac.uk                   (Polymorphic Type 
Theory)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: papers available
Date: Wed, 28 Jul 93 13:21:08 +0200
From: Anders Kock <kock@mi.aau.dk>

Anders Kock's article

MONADS FOR WHICH STRUCTURES ARE ADJOINT TO UNITS (version 3)

has been placed at the FTP site at Imperial College. Versions 1 and 2
of this article are from 1973 (!) and 1992, respectively. The present
version should be easier to read for people interested in free
completions of categories or posets (which is where the motivation
came from. In fact, the present article is an outgrowth of the formal
aspects of my 1967 Chicago Ph.D. thesis on free completion).

A slight strengthening of the equational axiomatics of the above
provides

GENERATORS AND RELATIONS FOR DELTA AS A MONOIDAL 2-CATEGORY

which is the name of another article I placed at the same FTP
location. It is almost identical to Aarhus Preprint 1993 No.1 (Jan.
1993).

The articles are found as files msau3.dvi and del.dvi in the directory
papers/kock in theory.doc.ic.ac.uk. For the former article, a few symbols will
have to be added by hand, in case you print it out. I intend to put
exact information about these in the file called BY-HAND at the same
location.

Anders Kock

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: Re: New structdir
Date: Thu, 29 Jul 93 09:45:43 CDT
From: strecker@math.ksu.edu (George Strecker)

My address has changed to

strecker:       strecker@math.ksu.edu                 (George Strecker)



I.e., the "galois" part should be deleted.

George Strecker
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: question about distributive categories
From: koslowj@math.ksu.edu (Juergen Koslowski)
Date: Thu, 29 Jul 93 9:53:18 CDT

Consider a symmetric monoidal closed category C with finite coproducts.
Write -o for the exponentiation. Are there non-trivial examples of objects
A of C such that the functor _-oA maps every tensor product X \tensor Y to
(the object part of) a coproduct X-oA + Y-oA (in C)? 

Such an A would be a nice candidate for an "answers object" for "continuation
semantics" in computer science.

-- J"urgen

-- 
J"urgen Koslowski         | If I don't see you no more in this world
                          | I meet you in the next world
                          | and don't be late!
koslowj@math.ksu.edu      |                         Jimi Hendrix (Voodoo 
Chile)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: Waltzing Matilda
Date: Thu, 29 Jul 93 11:29:37 PDT
From: pratt@CS.Stanford.EDU

I've incorporated the fixes people sent me and posted an updated
copy of structdir, release 4.7, on boole.stanford.edu:/pub.

Thanks to Max Kelly for tipping me off to a domain naming issue I
wasn't aware of, affecting half the Australian addresses.  A while back
there was a move to rename the Australian domain oz.au to edu.au, a
change I duly made uniformly to all Australian hosts in the directory
without further investigation.  Now it looks as though Waltzing Matilda
as the sentimental bloke's national anthem has been joined by oz.au as
the sentimental bloke's domain name.  Of the 13 Australian hosts
represented in the Structures Directory, seven stuck with oz.au, with
one permitting edu.au as a nickname, while six switched to edu.au, two
of which permit oz.au as a nickname.  For the record here they are (but
it will be easier to ftp the revised directory from Boole, or email me
requesting a copy by reply mail, than to make these changes manually.)

OZ.AU:
latcs1.lat.oz.au        cs.su.oz.au             maths.su.oz.au
maths.uq.oz.au          mullauna.cs.mu.oz.au    mundoe.munnari.oz.au
uqcspe.cs.uq.oz.au (edu ok)

EDU.AU:
adam.adelaide.edu.au    arp.anu.edu.au (oz ok)  bruce.cs.monash.edu.au (oz ok)
echo.canberra.edu.au    macadam.mpce.mq.edu.au  socs.uts.edu.au

Wonder if The Australian has spotted this newsworthy item yet.

--
Vaughan Pratt
(FTPables: boole.stanford.edu:/pub/ABSTRACTS.)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Subject: Re: question about distributive categories
Date:        Fri, 30 Jul 93 17:12:00 ADT
From:        <pratt%CS.Stanford.EDU@UNBMVS1.CSD.UNB.CA>

        From: koslowj@math.ksu.edu (Juergen Koslowski)
        Date: Thu, 29 Jul 93 9:53:18 CDT

        Consider a symmetric monoidal closed category C with finite
        coproducts.  Write -o for the exponentiation. Are there
        non-trivial examples of objects A of C such that the functor
        _-oA maps every tensor product X \tensor Y to (the object part
        of) a coproduct X-oA + Y-oA (in C)?

        Such an A would be a nice candidate for an "answers object" for
        "continuation semantics" in computer science.

X@Y -o A  consists of the bilinear maps to A, those maps that can be
viewed, loosely speaking, BOTH as an X-indexed FAMILY of maps of Y-oA
AND a Y-indexed family of maps of X-oA.  In contrast X-oA + Y-oA
consists of those maps to A coming EITHER from X OR Y alone.  I can't
imagine how continuation semantics could usefully connect up either
BOTH-AND or FAMILY with EITHER-OR.
--
Vaughan Pratt


