Structures Directory Release 3.0

2 Dec 1991

      #     Structures Directory -- Email addresses of structure theorists
#     Release 3.0, December 1, 1991
#     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

abadi:          ma@src.dec.com                          (Martin Abadi)
abramsky:       sa@doc.ic.ac.uk                         (Samson Abramsky)
aceto:          luca@cogs.sussex.ac.uk                  (Luca Aceto)
adams:          useradms@mtsg.ubc.ca                    (Bob Adams)
adelman:        murray@macadam.mpce.mq.edu.au           (Murray Adelman)
adler:          ara@lom1.math.yale.edu                  (Alan Adler)
aitchison:      iain@mundoe.munnari.oz.au               (Iain Aitchison)
amadio:         amadio@dmi.ens.fr                       (Roberto Amadio)
ambler:         sja@cs.qmw.ac.uk                        (Simon Ambler)
anderson:       anderson@bright.math.uoregon.edu        (Frank Anderson)
apt:            apt@cs.utexas.edu                       (Krzystof Apt)
arnold:         arnold@geocub.greco-prog.fr             (Andre Arnold)
(artemov:       art@log.mian.su                         Sergei Artemov)
artemov:        sergei@artemov.mian.su                  (Sergei Artemov)
asperti:        andrea@dipisa.di.unipi.it               (Andrea Asperti)
astesiano:      astes@igecuniv.bitnet                   (Egidio Astesiano.)
atkinson:       atkinson@math.toronto.edu               (Derek Atkinson)
avron:          aa@math.tau.ac.il                       (Arnon Avron)
bach:           rene@tech.ascom.ch                      (Rene Bach)
baker:          kab@math.ucla.edu                       (Kirby Baker)
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@iuvax.cs.indiana.edu            (Jon Barwise)
beck:           beck@mssun7.msi.cornell.edu             (Jon Beck)
beeson:         beeson@ucscc.ucsc.edu                   (Michael Beeson)
beigel:         beigel-richard@cs.yale.edu              (Richard Beigel)
bellin:         glb@lfcs.edinburgh.ac.uk                (Gian-Luigi Bellin)
benson:         dbenson@eecs.wsu.edu                    (David Benson)
vanbenthem:     johan@fwi.uva.nl                        (Johan.van Benthem)
bergman:        gbergman@cartan.berkeley.edu            (George Bergman)
bergstra:       madelon@fwi.uva.nl                      (Jan Bergstra)
berry:          mirsa.inria.fr                          (Gerard Berry)
betti:          betti@unimat.to.cnr.it                  (Renato Betti)
bhadhuri:       pbhaduri@cs2.cs.wsu.edu                 (Purandar Bhadhuri)
bier:           eric_bier.parc@xerox.com                (Eric Bier)
birtwistle:     graham@cpsc.ucalgary.ca                 (Graham Birtwistle)
blair:          ziggy@hx.lcs.mit.edu                    (Michael Blair)
blass:          blass@ub.cc.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)
bonacina:       bonacina@sbcs.sunysb.edu                (M.Paola Bonacina)
boolos:         boolos@athena.mit.edu                   (George Boolos)
borceux:        fborceux@buclln11.bitnet                (Francis Borceux.)
jborwein:       jborwein@cs.dal.ca                      (Jon Borwein)
pborwein:       pborwein@cs.dal.ca                      (Peter Borwein)
bouchard:       eomsg@acadvm1.uottawa.ca                (Monique Bouchard)
boyer:          boyer@cli.com                           (Bob Boyer)
bracho:         bracho@unamvm1.bitnet                   (Felipe Bracho)
breazu:         val@linc.cis.upenn.edu                  (Val Breazu-Tannen)
breen:          math.univ-paris13.fr                    (Larry Breen)
brink:          cbrink@ucthpx.uct.ac.za                 (Chris Brink)
brinkman:       mabrink@dknkurz1.bitnet                 (Hans-Berndt Brinkman)
britz:          brtkat01@ucthpx.uct.ac.za               (Katarina Britz)
brookes:        brookes@b.gp.cs.cmu.edu                 (Steve Brookes)
brown:          r.brown@vaxa.bangor.ac.uk               (Ronnie Brown)
broy:           broy@lan.informatik.tu-muenchen.dbp.de  (Manfred Broy)
bruce:          kim@cs.williams.edu                     (Kim Bruce)
brunner:        hbrunner@mun.bitnet                     (Herman Brunner)
debukh:         ecomail@vms2.uni-c.dk                   (Per.de Bukh)
bullejos:       mbullejos@ugr.es                        (Manuel Bullejos)
bunge:          bunge@triples.math.mcgill.ca            (Marta Bunge)
burroni:        burroni@mathp7.jussieu.fr               (Albert Burroni)
burstall:       rb@lfcs.ed.ac.uk                        (Rod Burstall)
buss:           sbuss@cs.ucsd.edu                       (Sam Buss)
cannon:         cannon_j@maths.su.oz.au                 (John Cannon)
carboni:        carboni@imiucca.unimi.it                (Aurelio Carboni)
cardelli:       luca@src.dec.com                        (Luca Cardelli)
carr:           carrdm@snyplaba.bitnet                  (Donna Carr)
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)
chandra:        ashok@ibm.com                           (Ashok Chandra)
chen:           chen@pchu.depaul.edu                    (Andy Chen)
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)
clarke:         clarke@a.cs.cmu.edu                     (Ed Clarke)
cockett:        rcockett@mqccsuna.mqcc.mq.oz.au         (Robin Cockett)
cocquand:       coquande@margaux.inria.fr               (Thierry Cocquand)
cohen:          avrac@computer-lab.cambridge.ac.uk      (Avra Cohen)
comer:          comers@citadel.bitnet                   (Stephen Comer)
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.oz.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.oz.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)
diaconescu:     rdcbb@cunyvm.bitnet                     (Radu Diaconescu)
diekert:        diekert@informatik.tu-muenchen.dbp.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)
doob:           mdoob@ccu.umanitoba.ca                  (Michael Doob)
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@diku.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)
ernst:          mernst@theory.lcs.mit.edu               (Michael Ernst)
fagin:          fagin@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)
feldman:        d_feldman@unhh.bitnet                   (David Feldman)
ferguson:       mike@tel.inrs.cdn                       (Michael Ferguson)
finkelstein:    stacy@saul.cis.upenn.edu                (Stacy Finkelstein)
fischer:        fischer-michael@cs.yale.edu             (Mike Fischer)
floyd:          floyd@cs.stanford.edu                   (Bob Floyd)
foo:            norman@cs.su.oz.au                      (Norman Foo)
fourman:        mikef@lfcs.edinburgh.ac.uk              (Michael Fourman)
fox:            fox@triples.math.mcgill.ca              (Thomas Fox)
freese:         ralph@kahuna.math.hawaii.edu            (Ralph Freese)
frei:           bitnet.arfr@ubcmtsg                     (Armin Frei)
freire:         freire@seins.santiago.usc.es            (J.L. Freire)
freyd:          pjf@linc.cis.upenn.edu                  (Peter Freyd)
pamfreyd:       pam@linc.cis.upenn.edu                  (Pam Freyd)
fritsch:        rudolf.fritsch@mathematik.uni-muenchen.dbp.de (Rudolph Fritsch)
gago:           alzzs002@seins.santiago.usc.es          (Felipe Gago)
gaifman:        gaifman@humus.huji.ac.il                (Haim Gaifman)
ganong:         ganong@vm1.yorku.ca                     (Richard Ganong)
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)
girard:         girard@margaux.inria.fr                 (Jean-Yves Girard)
givant:         givant@mills.berkeley.edu               (Steve Givant)
vanglabbeek:    rvg@cs.stanford.edu                     (Rob.van Glabbeek)
goguen:         joseph.goguen@prg.oxford.ac.uk          (Joseph Goguen)
bgoldberg:      goldberg@cs.nyu.edu                     (Ben Goldberg)
goltz:          gf1018@dbngmd21.bitnet                  (Ulla Goltz)
goodaire:       edgar@munucs.mun.ca                     (Edgar Goodaire)
gordon:         v5200e@templevm.bitnet                  (Bob Gordon.)
grandis:        grandis@igecuniv.bitnet                 (Marco Grandis.)
gratzer:        gratzer@ccm.umanitoba.ca                (George Gratzer)
gray:           gray@math.uiuc.edu                      (John Gray)
grove:          grove@cs.stanford.edu                   (Adam Grove)
gruska:         gruska@rosun1..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)
dhalpern:       jdan@sun.com                            (Dan Halpern)
jhalpern:       halpern@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.oz.au                (James Harland)
harper:         rwh@proof.ergo.cs.cmu.edu               (Robert Harper)
hart:           wiawkph@dutrun2.tudelft.nl              (Klaas Hart)
haveraaen:      magne@eik.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)
herz:           herz@gauss.math.mcgill.ca               (Carl Herz)
hill:           whill@hplwlh.hpl.hp.com                 (Walt Hill)
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)
hoofman:        raymond@cs.ruu.nl                       (Raymond Hoofman)
hook:           hook@cse.ogi.edu                        (James Hook)
hopcroft:       jeh@cs.cornell.edu                      (John Hopcroft)
hsiang:         hsiang@sbcs.sunysb.edu                  (Jieh Hsiang)
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:         jmeh@phoenix.cambridge.ac.uk            (Martin Hyland)
istrail:        sistrail@eagle.wesleyan.edu             (Soren Istrail)
ito:            ito@ito.ecei.tohoku.junet               (Takayasu Ito)
iyer:           ramu@cadsun.corp.mot.com                (Ramu Iyer)
jacobs:         bart@cs.kun.nl                          (Bart Jacobs)
jaffar:         joxan@ibm.com                           (Joxan Jaffar)
jagadeesan:     radha@cs.cornell.edu                    (Radha Jagadeesan)
janssen:        theo@fwi.uva.nl                         (Theo Janssen)
jardine:        jardine@uwovax.uwo.ca                   (John Jardine)
jay:            cbj@lfcs.edinburgh.ac.uk                (Barry Jay)
jeffrey:        alan.jeffrey@prg.oxford.ac.uk           (Alan Jeffrey)
jenkins:        maj@qucis.bitnet                        (Mike Jenkins)
mjohnson:       johnson_m@maths.su.oz.au                (Mike Johnson)
pjohnson:       pjohnson@eagle.wesleyan.edu             (Paul Johnson)
jonsson:        jonssob@vuctrvax.bitnet                 (Bjarni Jonsson.)
jouvelot:       jouvelot@ensmp.fr                       (Pierre Jouvelot)
joyal:          a.joyal@dpmms.cambridge.ac.uk		(ToJun92:Andre Joyal)
(joyal:          joyal@math.uqam.ca                      AfterJun92:Andre Joyal)
joyce:          djoyce@ollie.clarku.edu                 (David Joyce)
jung:           xmatjung@ddathd21.bitnet                (Achim Jung.)
kahn:           kahn@mirsa.inria.fr                     (Gilles Kahn)
kane:           kane@uwovax.uwo.ca                      (Richard Kane)
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@imiucca.unimi.it                  (Stefano Kasangian)
kelly:          kelly_m@maths.su.oz.au                  (Max Kelly)
kennaway:       jrk@sys.uea.ac.uk                       (Richard Kennaway)
kennison:       jkennison@clarku                        (John Kennison)
kfoury:         kfoury@bu-cs.bu.edu                     (Dennis Kfoury)
kiehn:          kiehn@lan.informatik.tu-muenchen.dbp.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)
kochman:        kochman@nexus.yorku.ca                  (Stanley Kochman)
kock:           matak@mi.aau.dk                         (Anders Kock)
kolaitis:       kolaitis@cs.ucsc.edu                    (Phokion Kolaitis)
koslowski:      koslowj@math.ksu.edu                    (Juergen Koslowski)
kozen:          kozen@cs.cornell.edu                    (Dexter Kozen)
kwiatkowska:    mzk@leicester.ac.uk                     (Marta Kwiatkowska)
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)
lamarche:       lamarche@dmi.ens.fr                     (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)
latch:          dml@bklyncis.bitnet                     (Dana Latch)
launchbury:     jl@cs.glasgow.ac.uk                     (John Launchbury)
lawvere:        mthfwl@ubvmsb.cc.buffalo.edu            (Bill Lawvere)
leavens:        leavens@bambam.cs.iastate.edu           (Gary Leavens)
leeney:         stmt8015@iruccvax.ucc.ie                (Mark Leeney)
leivant:        daniel.leivant@b.gp.cs.cmu.edu          (Daniel Leivant)
lent:           aflent@theory.lcs.mit.edu               (Arthur Lent)
levin:          lnd@cs.bu.edu                           (Leonid Levin)
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)
linton:         flinton@eagle.wesleyan.edu              (Fred Linton)
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)
macdonald:      macstone@bdc.ubc.ca                     (John MacDonald)
mackenzie:      pm1kchm@primea.sheffield.ac.uk         (K.Charles.H. Mackenzie)
macon:          nmacon@nsf.gov                          (Nat Macon)
macqueen:       macqueen@research.att.com               (David Macqueen)
maddux:         maddux@vincent.iaststa.edu              (Roger Maddux)
madhav:         madhav@neon.stanford.edu                (Neel Madhav)
mahmood:        arshad@lfcs.ed.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)
manna:          manna@cs.stanford.edu                   (Zohar Manna)
marshall:       marshacd@snypotva.potsdam.edu           (Charlie Marshall)
marti-oliet:    narciso@csl.sri.com                     (Narciso Marti-Oliet)
martini:        martini@di.unipi.it                     (Simone Martini)
mauri:          mauri@imiucca.unimi.it                  (Giancarlo Mauri)
mccoll:         wfm@prg.oxford.ac.uk                    (Bill McColl)
jmckay:         mckay@conu1.bitnet                      (John McKay)
wmckay:         wendy@cc.umontreal.ca                   (Wendy McKay)
mcnulty:        mcnulty@milo.math.scarolina.edu         (George McNulty)
mcrobbie:       mam@arp.anu.oz.au                       (Michael McRobbie)
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@lfcs.ed.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)
moggi:          moggi@igecuniv.bitnet                   (Eugenio Moggi.)
molnar:         molnar@math.macalstr.edu                (Richard Molnar)
monro:          monro_g@maths.su.oz.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)
mosses:         pdmosses@daimi.aau.dk                   (Peter Mosses)
muller:         muller@harvard.edu                      (Robert Muller)
mulry:          psm@dcs.edinburgh.ac.uk                 (Phil Mulry)
mulvey:         mmfc6@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)
nation:         nation@kahuna.math.hawaii.edu           (James.B. Nation)
nelson:         nealn@cse.ogi.edu                       (Neal Nelson)
nickau:         nickau@hrz.uni-siegen.dbp.de            (? Nickau)
denicola:       denicola@icnucevm.cnuce.cnr.it          (Rocco.De Nicola)
niefield:       niefiels@gar.union.edu                  (Susan Niefield)
nowakowski:     rjn@cs.dal.ca                           (Richard Nowakowski)
ohearn:         ohearn@top.cis.syr.edu                  (Peter Ohearn)
okada:          okada@concour.cs.concordia.ca           (Mitsu Okada)
oles:           oles@ibm.com                            (Frank Oles)
ong:            chlo@doc.ic.ac.uk                       (Luke Ong)
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)
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)
mpaterson:      msp@cs.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)
pedicchio:      pedicchi@univ.trieste.it                (Cristina Pedicchio)
pelletier:      jwpell@vm2.yorku.ca                     (Joan Pelletier)
penon:          penon@mathp7.jussieu.fr                 (Jean Penon)
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@proof.ergo.cs.cmu.edu   (Benjamin Pierce)
pigozzi:        dpigozzi@iastate.edu                    (Don Pigozzi)
pinter:         pinter-shlomit@cs.yale.edu              (Shlomit Pinter)
pitt:           dhp@cs.surrey.ac.uk                     (David Pitt)
pitts:          ap@cl.cam.ac.uk                         (Andy Pitts)
plaisted:       plaisted@cs.unc.edu                     (David Plaisted)
platek:         richard@oracorp.com                     (Richard Platek)
platt:          ccm.umanitoba.ca                        (Craig Platt)
plotkin:        gdp@lfcs.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@unipas.fmi.uni-passau.de        (Victor Pollara)
porst:          porst@ubrinf.uucp                       (H.-E. Porst)
porter:         mas013@vaxc.bangor.ac.uk                (Tim Porter)
power:          ajp@lfcs.edinburgh.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)
quackenbush:    bquack@ccm.umanitoba.ca                 (Bob Quackenbush)
rabin:          rabin@humus.huji.ac.il                  (Michael Rabin)
rachev:         zarirach@bernoulli.ucsb.edu             (Zari Rachev)
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)
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)
rosebrugh:      rrosebrugh@macc2.mta.ca                 (Bob Rosebrugh)
rosenthal:      rosenthk@gar.union.edu                  (Kimmo Rosenthal)
rosicky:        rosicky@vm1.yorku.ca                    (Jiri Rosicky)
rosolini:       rosolini@ipruniv.bitnet                 (Pino Rosolini.)
rota:           rota@math.mit.edu                       (Gian-Carlo Rota)
rotman:         symcom!rotman@uxc.cso.uiuc.edu          (Joseph Rotman)
rounds:         bill_rounds@um.cc.umich.edu             (Bill Rounds)
rovan:          uniba!rovan@relay.eu.net                (Branislav Rovan)
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:         janr@piring.cwi.nl                      (Jan Rutten)
rydeheard:      david@r3.cs.man.ac.uk                   (David Rydeheard)
sakurai:        a87480@tansei.cc.u-tokyo.ac.jp          (Takafumi Sakurai)
sankappanevar:  sankah@snynewba..bitnet        (Hanamantagouda.P. Sankappanevar)
sannella:       dsannella@lfcs.ed.ac.uk                 (Don Sannella)
sato:           schuko@sun4.cc.kyushu-u.ac.jp           (Hiroyuki Sato)
scedrov:        andre@cis.upenn.edu                     (Andre Scedrov)
schelter:       wfs@cli.com                             (Bill Schelter)
schmidt:        jschmidt@daimi.dk                       (Jorn Schmidt)
schroeppel:     rcs@la.tis.com                          (Rich Schroeppel)
schumacher:     schu@acadia.bitnet                      (Dietmar Schumacher)
scollo:         scollo@cs.utwente.nl                    (Giuseppe Scollo)
dscott:         dana.scott@c.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)
shankar:        shankar@csl.sri.com                     (Natarajan Shankar)
shapiro:        udi@wisdom.weizmann.ac.il               (Udi Shapiro)
shields:        m.shields@cs.surrey.ac.uk               (Mike Shields)
sichler:        sichler@ccm.umanitoba.ca                (Jiri Sichler)
kurt:           sieber@fb10vax.informatik.uni-saarland.dbp.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)
smolka:         sas@cs.sunysb.edu                       (Scott Smolka)
sobral:         sobral@ciuc2.uc.rccn.pt                 (Manuela Sobral)
spencer:        dwights@cse.ogi.edu                     (Dwight Spencer)
srinivas:       srinivas@madeleine.ics.uci.edu          (Yellamraju Srinivas)
staples:        staples@uqcspe.cs.uq.oz.au              (John Staples)
stark:          stark@cs.sunysb.edu                     (Eugene Stark)
steele:         steele@think.com                        (Guy Steele)
steiner:        maths@vme.gla.ac.uk                     (Richard Steiner)
stell:          john@cs.kl.ac.uk                        (John Stell)
stewart:        cstewart@watserv1.uwaterloo.ca          (Cameron Stewart)
astone:         macstone@bdc.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@unipas.fmi.uni-passau.de       (Thomas Streicher)
subrahmanyam:   ramesh@linc.cis.upenn.edu               (Ramesh Subrahmanyam)
sun:            yong@minster.york.ac.uk                 (Yong Sun)
suppes:         suppes@csli.stanford.edu                (Pat Suppes)
swaminathan:    swami@cs.dal.ca                         (S. Swaminathan)
szabo:          szabo@vax2.concordia.ca                 (Fred Szabo)
takayama:       takayama@okilab.oki.co.jp               (Yukihide Takayama)
talcott:        clt@sail.stanford.edu                   (Carolyn Talcott)
tatsuta:        tatsuta@sato.riec.tohoku.ac.jp          (Makoto Tatsuta)
taubner:        taubner@lan.informatik.tu-muenchen.dbp.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)
tholen:         tholen@vm1.yorku.ca                     (Walter Tholen)
thomson:        tom@nw.stl.stc.co.uk                    (Tom Thomson)
thurston:       wpt@math.princeton.edu                  (Bill Thurston)
tierney:        tierney@math.uqam.ca                    (Myles Tierney)
tiuryn:         tiuryn@cs.bu.edu                        (Jerzy Tiuryn)
tonks:          map003@vaxa.bangor.ac.uk                (Andy Tonks)
trakhtenbrot:   trakhte@math.tau.ac.il                  (Boris Trakhtenbrot)
tschantz:       tschantz@athena.cas.vanderbilt.edu      (Steve Tschantz)
tsuiki:         tsuiki@kurims.kyoto-u.ac.jp             (Hideki Tsuiki)
turbak:         lyn@zurich.ai.mit.edu                   (Franklyn Turbak)
urquhart:       urquhart@ai.toronto.edu                 (Alasdair Urquhart)
valeriote:      matt@johnny.math.mcmaster.ca            (Matt Valeriote)
vanosdol:       d_vanosdol@unhh.unh.edu                 (Donovan Van.Osdol)
vardi:          vardi@ibm.com                           (Moshe Vardi)
vermeulen:      jjcvmath.uctvax@f4.n494.z5.fidonet.org  (Japie Vermeulen)
verwer:         nico@cs.ruu.nl                          (Nico Verwer)
vickers:        sjv@doc.ic.ac.uk                        (Steven Vickers)
vitanyi:        paulv@cwi.nl                            (Paul Vitanyi)
voevodsky:      vladimir@math.harvard.edu               (Vladimir Voevodsky)
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)
wagner:         wagner@ibm.com                          (Eric Wagner)
wallen:         lincoln.wallen@prg.oxford.ac.uk         (Lincoln Wallen)
walters:        walters_b@maths.su.oz.au                (Bob Walters)
wand:           wand@corwin.ccs.northeastern.edu        (Mitchell Wand)
wasilewska:     anita@sbcs.sunysb.edu                   (Anita Wasilewska)
wells:          cfw2@po.cwru.edu                        (Charles Wells)
wendt:          wendt@cs.dal.ca                         (Michael Wendt)
white:          bwhite@inmet.inmet.com                  (Bill White)
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)
wood:           rjwood@cs.dal.ca                        (Richard 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@gargoyle.uchicago.edu             (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)
zawadowski:     warsaw@ccb.uib.es                       (Marek Zawadowski)
zenith:         zenith@ensmp.fr                         (Steven Zenith)
zhang:          gqz@pollux.cs.uga.edu                   (Qiang Zhang)
zocco:          dean.zocco@klb                          (Meg Zocco)

==========================

pratt＠cs.stanford.edu

tags

participants (1)