February 1993 - Categories - categories.org.au

Structures Directory
by Vaughan Pratt 24 Feb '93

24 Feb '93

Time to post a fresh copy of the structures directory. Please let me know of corrections and additions (are there people you know that you think should be in this directory?) Vaughan Pratt # Structures Directory -- Email addresses of structure theorists # Release 4.0, February 23, 1993 # Master copy: Boole.Stanford.EDU:^ftp/pub/structdir # Maintainer: Vaughan Pratt, pratt(a)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(a)cs.stanford.edu # 415-723-2943 abadi: ma(a)src.dec.com (Martin Abadi) abiteboul: abitebou(a)inria.inria.fr (Serge Abiteboul) abramsky: sa(a)doc.ic.ac.uk (Samson Abramsky) aceto: luca(a)cogs.sussex.ac.uk (Luca Aceto) aczel: petera(a)cs.man.ac.uk (Peter Aczel) adamek: adamek(a)unipas.fmi.uni-passau.de (Jiri Adamek) adams: useradms(a)mtsg.ubc.ca (Bob Adams) adelman: murray(a)macadam.mpce.mq.edu.au (Murray Adelman) adler: ara(a)lom1.math.yale.edu (Alan Adler) ait-kaci: hak(a)decprl.dec.com (Hassan Ait-Kaci) aitchison: iain(a)mundoe.munnari.oz.au (Iain Aitchison) altenkirch: alti(a)dcs.ed.ac.uk (Thorsten Altenkirch) amadio: amadio(a)dmi.ens.fr (Roberto Amadio) ambler: sja(a)dcs.qmw.ac.uk (Simon Ambler) anderson: anderson(a)bright.math.uoregon.edu (Frank Anderson) andreka: h2644and(a)ella.hu (Hajnal Andreka) apt: apt(a)cs.utexas.edu (Krzystof Apt) arnold: arnold(a)geocub.greco-prog.fr (Andre Arnold) (artemov: art(a)log.mian.su Sergei Artemov) artemov: sergei(a)artemov.mian.su (Sergei Artemov) asperti: andrea.asperti(a)inria.fr (Andrea Asperti) astesiano: astes(a)igecuniv.bitnet (Egidio Astesiano.) atkinson: atkinson(a)math.toronto.edu (Derek Atkinson) avron: aa(a)math.tau.ac.il (Arnon Avron) bach: rene(a)tech.ascom.ch (Rene Bach) baker: kab(a)math.ucla.edu (Kirby Baker) baranoff: sergei(a)hm.iias.spb.su (Sergei Baranoff) barr: barr(a)triples.math.mcgill.ca (Michael Barr) bartle: rgb(a)math.ams.com (Bob Bartle) barwise: barwise(a)phil.indiana.edu (Jon Barwise) beck: beck(a)mssun7.msi.cornell.edu (Jon Beck) beeson: beeson(a)ucscc.ucsc.edu (Michael Beeson) beigel: beigel-richard(a)cs.yale.edu (Richard Beigel) bellin: glb(a)dcs.edinburgh.ac.uk (Gian-Luigi Bellin) benson: dbenson(a)eecs.wsu.edu (David Benson) vanbenthem: johan(a)fwi.uva.nl (Johan.van Benthem) bergman: gbergman(a)cartan.berkeley.edu (George Bergman) bergstra: madelon(a)fwi.uva.nl (Jan Bergstra) berry: berry(a)cma.cma.fr (Gerard Berry) betti: betti(a)unimat.to.cnr.it (Renato Betti) bhadhuri: pbhaduri(a)cs2.cs.wsu.edu (Purandar Bhadhuri) bier: eric_bier.parc(a)xerox.com (Eric Bier) birtwistle: graham(a)cpsc.ucalgary.ca (Graham Birtwistle) blair: ziggy(a)hx.lcs.mit.edu (Michael Blair) blass: blass(a)um.cc.umich.edu (Andreas Blass) bbloom: bard(a)cs.cornell.edu (Bard Bloom) sbloom: bloom(a)sparc1.stevens-tech.edu (Steve Bloom) lblum: lblum(a)ernie.berkeley.edu (Lenore Blum) mblum: blum(a)ernie.berkeley.edu (Manuel Blum) blute: blute(a)triples.math.mcgill.ca (Richard Blute) vanemdeboas: pveb(a)cwi.nl (Peter.van.Emde Boas) boehm: boehm.pa(a)xerox.com (Hans Boehm) bonacina: bonacina(a)sbcs.sunysb.edu (M.Paola Bonacina) boolos: boolos(a)athena.mit.edu (George Boolos) borceux: fborceux(a)buclln11.bitnet (Francis Borceux.) jborwein: jborwein(a)cs.dal.ca (Jon Borwein) pborwein: pborwein(a)cs.dal.ca (Peter Borwein) bouchard: eomsg(a)acadvm1.uottawa.ca (Monique Bouchard) boyer: boyer(a)cli.com (Bob Boyer) bracho: bracho(a)unamvm1.bitnet (Felipe Bracho) breazu: val(a)linc.cis.upenn.edu (Val Breazu-Tannen) tannen: val(a)cis.upenn.edu (Val Breazu-Tannen) breen: math.univ-paris13.fr (Larry Breen) brink: cbrink(a)ucthpx.uct.ac.za (Chris Brink) brinkman: mabrink(a)dknkurz1.bitnet (Hans-Berndt Brinkman.) britz: brtkat01(a)ucthpx.uct.ac.za (Katarina Britz) brookes: brookes(a)b.gp.cs.cmu.edu (Steve Brookes) cbrown: cbrown(a)cs.chalmers.se (Carolyn Brown) rbrown: r.brown(a)vaxa.bangor.ac.uk (Ronnie Brown) broy: broy(a)lan.informatik.tu-muenchen.dbp.de (Manfred Broy) bruce: kim(a)cs.williams.edu (Kim Bruce) brunner: hbrunner(a)mun.bitnet (Herman Brunner) debukh: ecomail(a)vms2.uni-c.dk (Per.de Bukh) bullejos: mbullejos(a)ugr.es (Manuel Bullejos) buneman: peter(a)cis.upenn.edu (Peter Buneman) bunge: bunge(a)triples.math.mcgill.ca (Marta Bunge) burroni: burroni(a)mathp7.jussieu.fr (Albert Burroni) burstall: rb(a)dcs.edinburgh.ac.uk (Rod Burstall) buss: sbuss(a)cs.ucsd.edu (Sam Buss) cannon: cannon_j(a)maths.su.oz.au (John Cannon) carboni: carboni(a)imiucca.unimi.it (Aurelio Carboni) cardelli: luca(a)src.dec.com (Luca Cardelli) carpenter: carp(a)lcl.cmu.edu (Bob Carpenter) carr: carrdm(a)snyplaba.bitnet (Donna Carr) carter: nicola(a)mcgill1.bitnet (Nicola Carter) cartwright: cork(a)rice.edu (Corky Cartwright) casley: casley(a)cs.stanford.edu (Ross Casley) castellini: g-castellini(a)upr1.upr.cun.edu (G. Castellini) chandra: ashok(a)watson.ibm.com (Ashok Chandra) chen: chen(a)pchu.depaul.edu (Andy Chen) choi: choi(a)grad1.cis.upenn.edu (Jin-Young Choi) chou: chou(a)rascal.ics.utexas.edu (Shang-Ching Chou) chu: chu(a)ace.bsd.uchicago.edu (Po-Hsiang Chu) clarke: clarke(a)a.cs.cmu.edu (Ed Clarke) clote: clote(a)bcuxs2.bc.edu (Peter Clote) cockett: robin(a)cpsc.ucalgary.ca (Robin Cockett) cocquand: coquande(a)margaux.inria.fr (Thierry Cocquand) cohen: avrac(a)computer-lab.cambridge.ac.uk (Avra Cohen) comer: comers(a)citadel.bitnet (Stephen Comer) cooper: cooper(a)cogsci.edinburgh.ac.uk (Robin Cooper) cosmadakis: stavros(a)saul.cis.upenn.edu (Stavros Cosmadakis) cowen: mthmjc(a)ubvms.bitnet (Mike Cowen) crans: crans(a)math.ruu.nl (Sjoerd Crans) crew: crew(a)cs.stanford.edu (Roger Crew) crole: rlc(a)doc.imperial.ac.uk (Roy Crole) crossley: jnc(a)bruce.cs.monash.oz.au (John Crossley) crow: crow(a)csl.sri.com (Judy Crow) cruciani: cruciani(a)vaxrma.infn.it (Rosanna Cruciani) cubric: cubric(a)triples.math.mcgill.ca (Djordje Cubric) curien: curien(a)dmi.ens.fr (Pierre-Louis Curien) davey: davey(a)latcs1.lat.oz.au (Brian Davey) davis: davism(a)acf4.nyu.edu (Martin Davis) dawson: rdawson(a)husky1.stmarys.ca (Robert Dawson) degano: degano(a)di.unipi.it (Pier-Paolo Degano) delfour: delfour(a)cc.umontreal.ca (Michel Delfour) diaconescu: rdcbb(a)cunyvm.bitnet (Radu Diaconescu) diekert: diekert(a)informatik.tu-muenchen.dbp.de (Volker Diekert) diers: diers(a)frcitl81.bitnet (Yves Diers) doh: doh(a)ksuvax1.cis.ksu.edu (Kyung-Goo Doh) dolan: v088kj6a(a)ubvms.cc.buffalo.edu (James Dolan) doob: mdoob(a)ccu.umanitoba.ca (Michael Doob) dragalin: h2848dra(a)ella.hu (? Dragalin) duba: duba(a)rice.edu (Bruce Duba) dubey: rdubey(a)yoda.eecs.wsu.edu (Rakesh Dubey) dubuc: dcfden!edubuc(a)mate.edu.ar (Eduardo Dubuc) duggan: den(a)cs.umd.edu (Dominic Duggan) dunn: dunn(a)iuvax.cs.indiana.edu (Mike Dunn) duskin: mthduskn(a)ubvms.bitnet (Jack Duskin) dybkjaer: dybkjaer(a)diku.dk (Hans Dybkjaer) edalat: ae(a)doc.ic.ac.uk (Abbas Edalat) ehlers: map010(a)bangor.ac.uk (Philip Ehlers) ehresmann: ehres(a)mathp7.jussieu.fr (Andree Ehresmann) ehrhard: ehrhard(a)ens.fr (Thomas Ehrhard) ehrlich: ehrlich(a)inria.inria.fr (Bobby Ehrlich) vaneijck: jve(a)cwi.nl (Jan.van Eijck) emerson: a.emerson(a)cs.utexas.edu (Alan Emerson) enderton: hbe(a)math.ucla.edu (Herb Enderton) engeler: engeler(a)math.ethz.ch (Erwin Engeler) ernst: mernst(a)theory.lcs.mit.edu (Michael Ernst) fagin: fagin(a)almaden.ibm.com (Ron Fagin) faro: v068p76v(a)ubvmsa.bitnet (Emilio Faro) fasel: jhf(a)lanl.gov (Joe Fasel) feferman: sf(a)csli.stanford.edu (Sol Feferman) feigenbaum: jf(a)research.att.com (Joan Feigenbaum) feldman: d_feldman(a)unhh.bitnet (David Feldman) ferguson: mike(a)tel.inrs.cdn (Michael Ferguson) finkelstein: stacy(a)saul.cis.upenn.edu (Stacy Finkelstein) fischer: fischer-michael(a)cs.yale.edu (Mike Fischer) fitting: mlflc(a)cunyvm.bitnet (Melvin Fitting) floyd: floyd(a)cs.stanford.edu (Bob Floyd) foo: norman(a)cs.su.oz.au (Norman Foo) fourman: mikef(a)dcs.edinburgh.ac.uk (Michael Fourman) fox: fox(a)triples.math.mcgill.ca (Thomas Fox) freese: ralph(a)kahuna.math.hawaii.edu (Ralph Freese) frei: bitnet.arfr@ubcmtsg (Armin Frei) freire: freire(a)seins.santiago.usc.es (J.L. Freire) freyd: pjf(a)linc.cis.upenn.edu (Peter Freyd) pamfreyd: pam(a)linc.cis.upenn.edu (Pam Freyd) fritsch: rudolf.fritsch(a)mathematik.uni-muenchen.dbp.de (Rudolph Fritsch) gago: alzzs002(a)seins.santiago.usc.es (Felipe Gago) gaifman: gaifman(a)humus.huji.ac.il (Haim Gaifman) gallier: jean(a)saul.cis.upenn.edu (Jean Gallier) ganong: ganong(a)vm1.yorku.ca (Richard Ganong) vangelder: avg(a)cs.ucsc.edu (Allen.Van Gelder) genrich: genrich(a)gmdzi.gmd.de (Hartmann Genrich) geramita: anthony.v.geramita(a)queensu.ca (Anthony Geramita) gerstenhaber: gersten(a)penndrls.bitnet (Murray Gerstenhaber) gerth: wsinrobg(a)eutrc3.urc.tue.nl (Rob Gerth) ghelli: ghelli(a)di.unipi.it (Giorgio Ghelli) girard: girard(a)margaux.inria.fr (Jean-Yves Girard) givant: givant(a)mills.berkeley.edu (Steve Givant) vanglabbeek: rvg(a)cs.stanford.edu (Rob.van Glabbeek) goguen: joseph.goguen(a)prg.oxford.ac.uk (Joseph Goguen) bgoldberg: goldberg(a)cs.nyu.edu (Ben Goldberg) goldblatt: rob(a)math.vuw.ac.nz (Rob Goldblatt) goltz: gf1018(a)dbngmd21.bitnet (Ulla Goltz) goodaire: edgar(a)munucs.mun.ca (Edgar Goodaire) gordon: v5200e(a)templevm.bitnet (Bob Gordon.) grandis: grandis(a)igecuniv.bitnet (Marco Grandis.) gratzer: gratzer(a)ccm.umanitoba.ca (George Gratzer) gray: gray(a)math.uiuc.edu (John Gray) grove: grove(a)cs.stanford.edu (Adam Grove) gruska: gruska(a)rosun1.informatik.uni-hamburg.de (Jozef Gruska) guessarian: ig(a)litp.ibp.fr (Irene Guessarian) guitart: guitart(a)mathp7.jussieu.fr (Rene Guitart) gunawardena: jhcg(a)hplb.hpl.hp.com (Jeremy Gunawardena) cgunter: gunter(a)central.cis.upenn.edu (Carl Gunter) egunter: elsa(a)research.att.com (Elsa Gunter) gupta: vgupta(a)cs.stanford.edu (Vineet Gupta) gurevich: gurevich(a)dip.eecs.umich.edu (Yuri Gurevich) dhalpern: jdan(a)sun.com (Dan Halpern) jhalpern: halpern(a)almaden.ibm.com (Joe Halpern) hanna: fkh(a)ukc.ac.uk (Keith Hanna) hardie: hardieka(a)uctvax.uct.ac.za (Kieth Hardie) harel: harel(a)wisdom.weizmann.ac.il (David Harel) harland: jah(a)mullauna.cs.mu.oz.au (James Harland) harper: rwh(a)proof.ergo.cs.cmu.edu (Robert Harper) hart: wiawkph(a)dutrun2.tudelft.nl (Klaas Hart) haveraaen: magne(a)eik.ii.uib.no (Magne Haveraaen) hebert: mhebert(a)mat.ulaval.ca (Michel Hebert) heckmann: heckmann(a)cs.uni-sb.de (Reinhold Heckmann) heggie: heggie(a)cad.uccb.ns.ca (Murray Heggie) hennessy: matthewh(a)cogs.sussex.ac.uk (Matthew Hennessy) henriksen: henriksen(a)hmcvax.claremont.edu (Mel Henriksen) henzinger: tah(a)cs.stanford.edu (Tom Henzinger) herz: herz(a)gauss.math.mcgill.ca (Carl Herz) hill: whill(a)hplwlh.hpl.hp.com (Walt Hill) hillebrand: ggh(a)cs.brown.edu (Gerd Hillebrand) hindley: majrh(a)pyr.swan.ac.uk (Roger Hindley) hoare: julie(a)prg.oxford.ac.uk (Tony Hoare) hodgson: bhodgson(a)vm1.ulaval.ca (Bernard Hodgson) hoehnke: gabi(a)opal.cs.tu-berlin.de (Hans-Jurgen Hoehnke) honsell: honsell(a)uduniv.cineca.it (Furio Honsell) hoofman: raymond(a)cs.ruu.nl (Raymond Hoofman) hook: hook(a)cse.ogi.edu (James Hook) hopcroft: jeh(a)cs.cornell.edu (John Hopcroft) hsiang: hsiang(a)sbcs.sunysb.edu (Jieh Hsiang) hudak: hudak(a)cs.yale.edu (Paul Hudak) huet: huet(a)inria.inria.fr (Gerard Huet) hunsaker: ga3600(a)siucvmb.bitnet (W. Hunsaker) husberg: nhu(a)dione.hut.fi (Nisse Husberg) huth: mrh(a)tulmath.math.tulane.edu (Michael Huth) hyland: jmeh1(a)phoenix.cambridge.ac.uk (Martin Hyland) israel: israel(a)ai.sri.com (David Israel) istrail: sistrail(a)eagle.wesleyan.edu (Soren Istrail) ito: ito(a)ito.ecei.tohoku.junet (Takayasu Ito) iyer: ramu(a)cadsun.corp.mot.com (Ramu Iyer) jacobs: bjacobs(a)math.ruu.nl (Bart Jacobs) jaffar: joxan(a)watson.ibm.com (Joxan Jaffar) jagadeesan: rj2(a)doc.imperial.ac.uk (Radhakrishnan Jagadeesan) janssen: theo(a)fwi.uva.nl (Theo Janssen) jardine: jardine(a)uwovax.uwo.ca (John Jardine) jay: cbj(a)dcs.edinburgh.ac.uk (Barry Jay) jeffrey: alan.jeffrey(a)prg.oxford.ac.uk (Alan Jeffrey) jenkins: maj(a)qucis.bitnet (Mike Jenkins) mjohnson: mike(a)macadam.mpce.mq.edu.au (Mike Johnson) pjohnson: pjohnson(a)eagle.wesleyan.edu (Paul Johnson) jonsson: jonssob(a)vuctrvax.bitnet (Bjarni Jonsson.) jouvelot: jouvelot(a)ensmp.fr (Pierre Jouvelot) (joyal: joyal(a)math.uqam.ca AfterJun92:Andre Joyal) joyal: a.joyal(a)dpmms.cambridge.ac.uk (ToJun92:Andre Joyal) joyce: djoyce(a)ollie.clarku.edu (David Joyce) jung: jung(a)mathematik.th-darmstadt.de (Achim Jung) kahn: kahn(a)mirsa.inria.fr (Gilles Kahn) kane: kane(a)uwovax.uwo.ca (Richard Kane) kanellakis: pck(a)cs.brown.edu (Paris Kanellakis) kao: kao(a)iuvax.cs.indiana.edu (Ming Kao) kapranov: kapranov(a)mssun7.msi.cornell.edu (Mikhail Kapranov) karp: karp(a)ernie.berkeley.edu (Dick Karp) kasangian: kasan(a)imiucca.unimi.it (Stefano Kasangian) kelly: kelly_m(a)maths.su.oz.au (Max Kelly) kennaway: jrk(a)sys.uea.ac.uk (Richard Kennaway) kennison: jkennison@clarku (John Kennison) kfoury: kfoury(a)bu-cs.bu.edu (Dennis Kfoury) kiehn: kiehn(a)lan.informatik.tu-muenchen.dbp.de (Astrid Kiehn) klarlund: klarlund(a)cs.cornell.edu (Nils Klarlund) kleisli: kleisli(a)cfruni52.bitnet (Heinrich Kleisli.) klop: jwk(a)cwi.nl (Jan Klop) knijnenburg: peterk(a)cs.ruu.nl (Peter Knijnenburg) kochman: kochman(a)nexus.yorku.ca (Stanley Kochman) kock: matak(a)mi.aau.dk (Anders Kock) kolaitis: kolaitis(a)cs.ucsc.edu (Phokion Kolaitis) koslowski: koslowj(a)math.ksu.edu (Juergen Koslowski) kozen: kozen(a)cs.cornell.edu (Dexter Kozen) kwiatkowska: mzk(a)leicester.ac.uk (Marta Kwiatkowska) labute: labute(a)gauss.math.mcgill.ca (John Labute) ladkin: ladkin(a)icsib8.berkeley.edu (Peter Ladkin) ladner: ladner(a)cs.washington.edu (Richard Ladner) lafont: lafont(a)dmi.ens.fr (Yves Lafont) lamarche: lamarche(a)dmi.ens.fr (Francois Lamarche) lambe: lambe(a)math.ethz.ch (Larry Lambe) lambek: lambek(a)triples.math.mcgill.ca (Joachim Lambek) lampe: lampe(a)kahuna.math.hawaii.edu (Bill Lampe) lamport: lamport(a)src.dec.com (Leslie Lamport) lassez: jll(a)watson.ibm.com (Jean-Louis Lassez) latch: dml(a)bklyncis.bitnet (Dana Latch) launchbury: jl(a)dcs.glasgow.ac.uk (John Launchbury) lawvere: mthfwl(a)ubvmsb.cc.buffalo.edu (Bill Lawvere) leavens: leavens(a)bambam.cs.iastate.edu (Gary Leavens) leeney: stmt8015(a)iruccvax.ucc.ie (Mark Leeney) leivant: daniel.leivant(a)b.gp.cs.cmu.edu (Daniel Leivant) lent: aflent(a)theory.lcs.mit.edu (Arthur Lent) levin: lnd(a)cs.bu.edu (Leonid Levin) liao: aliao(a)eagle.wesleyan.edu (Andrew Liao) libkin: libkin(a)saul.cis.upenn.edu (Leonid Libkin) lifschitz: lifschitz(a)cs.stanford.edu (Vladimir Lifschitz) lilius: jli(a)dione.hut.fi (Johan Lilius) lincoln: lincoln(a)cs.stanford.edu (Pat Lincoln) linton: flinton(a)eagle.wesleyan.edu (Fred Linton) longo: longo(a)dmi.ens.fr (Giuseppe Longo) lord: hlord(a)csupomona.edu (Harriet Lord) loui: mloui(a)note.nsf.gov (Michael Loui) lowry: lowry(a)kestrel.edu (Mike Lowry) lubarsky: r_lubarsky(a)faudm.bitnet (Robert Lubarsky) lubliner: coby(a)ucbcevax.bitnet (Coby Lubliner) luckham: dcl(a)anna.stanford.edu (David Luckham) lynch: lynch(a)holmes.lcs.mit.edu (Nancy Lynch) ma: qingming.ma(a)cs.cmu.edu (Qingming Ma) macdonald: macstone(a)bdc.ubc.ca (John MacDonald) mackenzie: pm1kchm(a)primea.sheffield.ac.uk (K.Charles.H. Mackenzie) macon: nmacon(a)nsf.gov (Nat Macon) macqueen: macqueen(a)research.att.com (David Macqueen) maddux: maddux(a)vincent.iaststa.edu (Roger Maddux) madhav: madhav(a)neon.stanford.edu (Neel Madhav) mahmood: arshad(a)dcs.edinburgh.ac.uk (H. Mahmood) main: main(a)boulder.colorado.edu (Michael Main) majid: shm10(a)phx.cam.ac.uk (Shahn Majid) makkai: makkai(a)triples.math.mcgill.ca (Michael Makkai) manna: manna(a)cs.stanford.edu (Zohar Manna) marshall: marshacd(a)snypotva.potsdam.edu (Charlie Marshall) marti-oliet: narciso(a)csl.sri.com (Narciso Marti-Oliet) martini: martini(a)di.unipi.it (Simone Martini) mauri: mauri(a)imiucca.unimi.it (Giancarlo Mauri) mccoll: wfm(a)prg.oxford.ac.uk (Bill McColl) jmckay: mckay(a)conu1.bitnet (John McKay) wmckay: wendy(a)cc.umontreal.ca (Wendy McKay) mcnulty: mcnulty(a)milo.math.scarolina.edu (George McNulty) mcrobbie: mam(a)arp.anu.oz.au (Michael McRobbie) meloni: meloni(a)imiucca.unimi.it (Gian.Carlo Meloni) melton: austin(a)cis.ksu.edu (Austin Melton) mercouroff: nm(a)cs.brandeis.edu (Nicolas Mercouroff) meseguer: meseguer(a)csl.sri.com (Jose Meseguer) meyer: meyer(a)theory.lcs.mit.edu (Albert Meyer) milner: rm(a)dcs.edinburgh.ac.uk (Robin Milner) mints: mints(a)csli.stanford.edu (Grigori Mints) mislove: mwm(a)tulmath.math.tulane.edu (Michael Mislove) misra: misra(a)cs.utexas.edu (Jay Misra) mitchell: jcm(a)cs.stanford.edu (John Mitchell) miyoshi: miyoshi(a)slab.sfc.keio.ac.jp (Hiroyuki Miyoshi) mochnacki: stefan(a)centaur.astro.utoronto.ca (Stefan Mochnacki) moggi: moggi(a)igecuniv.bitnet (Eugenio Moggi.) moller: fm(a)dcs.edinburgh.ac.uk (Faron Moller) molnar: molnar(a)math.macalstr.edu (Richard Molnar) monro: monro_g(a)maths.su.oz.au (Gordon Monro) montanari: ugo(a)di.unipi.it (Ugo Montanari) demoor: Oege.de.Moor(a)prg.oxford.ac.uk (Oege.de Moor) moschovakis: ynm(a)math.ucla.edu (Yiannis Moschovakis) moshier: mam(a)pic.ucla.edu (Drew Moshier) moss: LMOSS(a)ucs.indiana.edu (Larry Moss) mosses: pdmosses(a)daimi.aau.dk (Peter Mosses) muller: muller(a)harvard.edu (Robert Muller) mulry: psm(a)dcs.edinburgh.ac.uk (Phil Mulry) mulvey: mmfc6(a)cluster.sussex.ac.uk (Chris Mulvey) mumford: mumford(a)zariski.harvard.edu (David Mumford) murphy: david(a)gmdzi.gmd.de (David Murphy) murthy: murthy(a)cs.cornell.edu (Chet Murthy) murty: murty(a)gauss.math.mcgill.ca (Ram Murty) nation: nation(a)kahuna.math.hawaii.edu (James.B. Nation) nelson: nealn(a)cse.ogi.edu (Neal Nelson) nerode: nerode(a)mssun6.msi.cornell.edu (Anil Nerode) nickau: nickau(a)hrz.uni-siegen.dbp.de (Hanno Nickau) denicola: denicola(a)icnucevm.cnuce.cnr.it (Rocco.De Nicola) niefield: niefiels(a)gar.union.edu (Susan Niefield) nowakowski: rjn(a)cs.dal.ca (Richard Nowakowski) ohearn: ohearn(a)top.cis.syr.edu (Peter Ohearn) ohori: ohori(a)okilab.oki.co.jp (Atsushi Ohori) okada: okada(a)concour.cs.concordia.ca (Mitsu Okada) oles: oles(a)watson.ibm.com (Frank Oles) ong: chlo(a)doc.ic.ac.uk (Luke Ong) orzech: orzechm(a)qucdn.bitnet (Morris Orzech) otto: otto(a)triples.math.mcgill.ca (Jim Otto) overbeek: overbeek(a)anl-mcs.arpa (Russ Overbeek) depaiva: valeria.paiva(a)cl.cam.ac.uk (Valeria.de Paiva) panangaden: prakash(a)opus.cs.mcgill.ca (Prakash Panangaden) papert: seymour(a)media-lab.media.mit.edu (Seymour Papert) pare: pare(a)cs.dal.ca (Bob Pare) parikh: ripbc(a)cunyvm.cuny.edu (Rohit Parikh) parker: stott(a)cs.ucla.edu (Stott Parker) mpaterson: msp(a)dcs.warwick.ac.uk (Mike Paterson) rpaterson: rap(a)doc.ic.ac.uk (Ross Paterson) paulson: lcp(a)cl.cam.ac.uk (Larry Paulson) pavlovic: pavlovic(a)triples.math.mcgill.ca (Dusko Pavlovic) pedicchio: pedicchi(a)univ.trieste.it (Cristina Pedicchio) pelletier: jwpell(a)vm2.yorku.ca (Joan Pelletier) penon: penon(a)mathp7.jussieu.fr (Jean Penon) peters: Stanley.Peters(a)prg.ox.ac.uk (Stanley Peters) pettorossi: adp(a)irmiasi.rm.cnr.it (Alberto Pettorossi) pfenniger: mas034(a)vaxa.bangor.ac.uk (Markus Pfenniger) phillips: phillips(a)uvvm.bitnet (John Phillips) pierce: bcp(a)proof.ergo.cs.cmu.edu (Benli Pierce) pigozzi: dpigozzi(a)iastate.edu (Don Pigozzi) pinter: pinter-shlomit(a)cs.yale.edu (Shlomit Pinter) pitt: dhp(a)mcs.surrey.ac.uk (David Pitt) pitts: ap(a)cl.cam.ac.uk (Andy Pitts) plaice: plaice(a)ift.ulaval.ca (John Plaice) plaisted: plaisted(a)cs.unc.edu (David Plaisted) platek: richard(a)oracorp.com (Richard Platek) platt: ccm.umanitoba.ca (Craig Platt) plotkin: gdp(a)dcs.edinburgh.ac.uk (Gordon Plotkin) pnueli: amir(a)wisdom.weizmann.ac.il (Amir Pnueli) poigne: ap(a)gmdzi.gmd.de (Axel Poigne) poirot: poirot(a)boole.stanford.edu (Hercule Poirot) pollara: pollara(a)csearn.bitnet (Victor Pollara) porst: porst(a)ubrinf.uucp (H.-E. Porst) porter: mas013(a)vaxc.bangor.ac.uk (Tim Porter) power: ajp(a)dcs.edinburgh.ac.uk (John Power) pratt: pratt(a)cs.stanford.edu (Vaughan Pratt) priestley: hap(a)vax.oxford.ac.uk (Hilary Priestley) probst: probst(a)bond.crim.ca (Richard Probst) proute: ap(a)mathp7.jussieu.fr (Alain Proute) pym: dpym(a)dcs.edinburgh.ac.uk (David Pym) quackenbush: bquack(a)ccm.umanitoba.ca (Bob Quackenbush) rabin: rabin(a)humus.huji.ac.il (Michael Rabin) rabinovich: alik(a)watson.ibm.com (Alexander Rabinovich) rachev: zarirach(a)bernoulli.ucsb.edu (Zari Rachev) ramshaw: ramshaw(a)src.dec.com (Lyle Ramshaw) randall: randall(a)elbereth.rutgers.edu (John Randall) raphael: raphael(a)vax2.concordia.ca (Robert Raphael) rattray: cr(a)cs.stir.ac.uk (Charles Rattray) remmel: remmel(a)kleene.ucsd.edu (Jeff Remmel) repin: repin(a)log.mian.su (Nikolai Repin) reyes: reyes(a)mathcn.umontreal.ca (Gonzalo Reyes) reynolds: john.reynolds(a)c.cs.cmu.edu (John Reynolds) riecke: riecke(a)theory.lcs.mit.edu (Jon Riecke) riemens: sriemens(a)vega.math.ualberta.ca (Sherman Riemenschneider) ritter: er(a)cl.cam.ac.uk (Eike Ritter) erobinson: edmundr(a)cogs.susx.ac.uk (Edmund Robinson) krobinson: kenr(a)elecvac.oz.au (Ken Robinson) deroever: wsinwpr(a)eutrc3.urc.tue.nl (Willem.de Roever) rolfsen: Dale_Rolfsen(a)mtsg.ubc.ca (Dale Rolfsen) roman: lr(a)doc.ic.ac.uk (Leopoldo Roman) rosebrugh: rrosebrugh(a)macc2.mta.ca (Bob Rosebrugh) rosenthal: rosenthk(a)gar.union.edu (Kimmo Rosenthal) rosicky: rosicky(a)cspuni12.bitnet (Jiri Rosicky) rosolini: rosolini(a)ipruniv.bitnet (Pino Rosolini.) rota: rota(a)math.mit.edu (Gian-Carlo Rota) rotman: symcom!rotman(a)uxc.cso.uiuc.edu (Joseph Rotman) rounds: rounds(a)engin.umich.edu (Bill Rounds) rovan: uniba!rovan(a)relay.eu.net (Branislav Rovan) rozenberg: rozenber(a)rulcri.leidenuniv.nl (Grzegor Rozenberg) rozenfeld: ar(a)alv.umd.edu (Azriel Rozenfeld) rudich: arie(a)theory.lcs.mit.edu (Arie Rudich) rudie: rudie(a)ecfb.toronto.edu (Karen Rudie) ruitenburg: wimr(a)math.mscs.mu.edu (Wim Ruitenburg) rumbos: rumbos(a)unamvm1.dgsca.unam.mx (Beatriz Rumbos) rus: rus(a)herky.cs.uiowa.edu (Theodor Rus) rutten: janr(a)piring.cwi.nl (Jan Rutten) rydeheard: david(a)r3.cs.man.ac.uk (David Rydeheard) sain: h1468sai(a)ella.hu (Ildiko Sain) sakurai: a87480(a)tansei.cc.u-tokyo.ac.jp (Takafumi Sakurai) sankappanevar: sankah(a)snynewba.bitnet (Hanamantagouda.P. Sankappanevar) sannella: dsannella(a)dcs.edinburgh.ac.uk (Don Sannella) saraswat: saraswat(a)parc.xerox.com (Vijay Saraswat) sato: schuko(a)sun4.cc.kyushu-u.ac.jp (Hiroyuki Sato) scedrov: andre(a)cis.upenn.edu (Andre Scedrov) schelter: wfs(a)cli.com (Bill Schelter) schmidt: jschmidt(a)daimi.dk (Jorn Schmidt) schroeppel: rcs(a)la.tis.com (Rich Schroeppel) schumacher: schu(a)acadia.bitnet (Dietmar Schumacher) scollo: scollo(a)cs.utwente.nl (Giuseppe Scollo) dscott: dscott(a)risc.uni-linz.ac.at (Dana Scott) pscott: pjs(a)dcs.ed.ac.uk (Phil Scott) seely: rags(a)triples.math.mcgill.ca (Robert Seely) seldin: seldin(a)alcor.concordia.ca (Jonathan Seldin) seligman: jerry(a)phil.indiana.edu (Jerry Seligman) shankar: shankar(a)csl.sri.com (Natarajan Shankar) shapiro: udi(a)wisdom.weizmann.ac.il (Udi Shapiro) shieber: shieber(a)das.harvard.edu (Stuart Shieber) shields: m.shields(a)mcs.surrey.ac.uk (Mike Shields) sichler: sichler(a)ccm.umanitoba.ca (Jiri Sichler) kurt: sieber(a)fb10vax.informatik.uni-saarland.dbp.de (Kurt Sieber) isimon: is(a)ime.usp.br (Imre Simon) simons: simons(a)karlsruhe.gmd.de (Martin Simons) slifker: slifker(a)svax.cs.cornell.edu (Michael Slifker) smaill: smaill(a)aipna.edinburgh.ac.uk (Alan Smaill) small: nwnexus!cjsa!jeff(a)uunet.uu.net (Jeffery Small) gsmith: dalcs!gretchen(a)uunet.uu.net (Gretchen Smith) ssmith: scott(a)cs.jhu.edu (Scott Smith) ssmolka: sas(a)cs.sunysb.edu (Scott Smolka) gsmolka: smolka(a)dfki.uni-sb.de (Gert Smolka) soare: soare(a)gargoyle.uchicago.edu (Bob Soare) sobral: sobral(a)ciuc2.uc.rccn.pt (Manuela Sobral) spencer: dwights(a)cse.ogi.edu (Dwight Spencer) spreen: spreen(a)hrz.uni-siegen.dbp.de (Dieter Spreen) srinivas: srinivas(a)madeleine.ics.uci.edu (Yellamraju Srinivas) staples: staples(a)uqcspe.cs.uq.oz.au (John Staples) stark: stark(a)cs.sunysb.edu (Eugene Stark) steele: steele(a)think.com (Guy Steele) steiner: maths(a)vme.gla.ac.uk (Richard Steiner) stell: john(a)cs.kl.ac.uk (John Stell) stewart: cstewart(a)watserv1.uwaterloo.ca (Cameron Stewart) stolboushkin: aps1(a)node.ias.msk.su (Alex Stolboushkin) astone: macstone(a)bdc.ubc.ca (Art Stone) stoughton: allen(a)cogs.sussex.ac.uk (Allen Stoughton) stout: lnstout(a)uxh.cso.uiuc.edu (Lawrence Stout) strecker: strecker(a)galois.math.ksu.edu (George Strecker) street: street(a)macadam.mpce.mq.edu.au (Ross Street) streicher: streiche(a)unipas.fmi.uni-passau.de (Thomas Streicher) subrahmanyam: ramesh(a)linc.cis.upenn.edu (Ramesh Subrahmanyam) sun: yong(a)minster.york.ac.uk (Yong Sun) suppes: suppes(a)csli.stanford.edu (Pat Suppes) swaminathan: swami(a)cs.dal.ca (S. Swaminathan) szabo: szabo(a)vax2.concordia.ca (Fred Szabo) takayama: takayama(a)okilab.oki.co.jp (Yukihide Takayama) talcott: clt(a)sail.stanford.edu (Carolyn Talcott) tatsuta: tatsuta(a)sato.riec.tohoku.ac.jp (Makoto Tatsuta) taubner: taubner(a)lan.informatik.tu-muenchen.dbp.de (Dirk Taubner) paultaylor: pt(a)doc.ic.ac.uk (Paul Taylor) philiptaylor: p.taylor(a)vax.rhbnc.ac.uk (Philip Taylor) wtaylor: wtaylor(a)boulder.colorado.edu (Walt Taylor) tennent: rdt(a)qucis.queensu.ca (Bob Tennent) thiagarajan: pst(a)ssf.ernet.in (P.S. Thiagarajan) tholen: tholen(a)vm1.yorku.ca (Walter Tholen) thomson: tom(a)nw.stl.stc.co.uk (Tom Thomson) thurston: wpt(a)math.princeton.edu (Bill Thurston) tierney: tierney(a)math.uqam.ca (Myles Tierney) tiuryn: tiuryn(a)cs.bu.edu (Jerzy Tiuryn) tonks: map003(a)vaxa.bangor.ac.uk (Andy Tonks) trakhtenbrot: trakhte(a)math.tau.ac.il (Boris Trakhtenbrot) trnkova: UMMVT(a)CSEARN.bitnet (Vera Trnkova) tschantz: tschantz(a)athena.cas.vanderbilt.edu (Steve Tschantz) tsuiki: tsuiki(a)kurims.kyoto-u.ac.jp (Hideki Tsuiki) turbak: lyn(a)zurich.ai.mit.edu (Franklyn Turbak) urquhart: urquhart(a)ai.toronto.edu (Alasdair Urquhart) valeriote: matt(a)johnny.math.mcmaster.ca (Matt Valeriote) vanosdol: d_vanosdol(a)unhh.unh.edu (Donovan Van.Osdol) vardi: vardi(a)almaden.ibm.com (Moshe Vardi) vermeulen: jjcvmath.uctvax(a)f4.n494.z5.fidonet.org (Japie Vermeulen) verwer: nico(a)cs.ruu.nl (Nico Verwer) vianu: vdvianu(a)ucsd.edu (Victor Vianu) vickers: sjv(a)doc.ic.ac.uk (Steve Vickers) vitanyi: paulv(a)cwi.nl (Paul Vitanyi) voevodsky: vladimir(a)math.harvard.edu (Vladimir Voevodsky) devries: ferjan(a)cwi.nl (Fer-jan.de Vries) waarts: orli(a)cs.stanford.edu (Orli Waarts) wachter: wachter(a)itd.nrl.navy.mil (Ralph Wachter) wadler: wadler(a)dcs.glasgow.ac.uk (Philip Wadler) wagner: wagner(a)watson.ibm.com (Eric Wagner) wallen: lw(a)prg.ox.ac.uk (Lincoln Wallen) walters: walters_b(a)maths.su.oz.au (Bob Walters) wand: wand(a)corwin.ccs.northeastern.edu (Mitchell Wand) wasilewska: anita(a)sbcs.sunysb.edu (Anita Wasilewska) wells: cfw2(a)po.cwru.edu (Charles Wells) wendt: wendt(a)cs.dal.ca (Michael Wendt) white: bwhite(a)inmet.inmet.com (Bill White) williams: ewilliam(a)kean.ucs.mun.ca (Ed Williams) winkler: winkler(a)csl.sri.com (Timothy Winkler) winskel: gwinskel(a)daimi.dk (Glynn Winskel) wirsing: wirsing(a)unipas.fmi.uni-passau.de (Martin Wirsing) wood: rjwood(a)cs.dal.ca (Richard Wood) wraith: gavinw(a)sussex.ac.uk (Gavin Wraith) wright: gpwsg(a)acadvm1.uottawa.ca (Graham Wright) wyler: wyler(a)cs.cmu.edu (Oswald Wyler) yardini: eyal(a)wisdom.weizmann.ac.il (Eyal Yardini) yarroll: piggy(a)gargoyle.uchicago.edu (La.Monte Yarroll) yetter: dyetter(a)math.ksu.edu (David Yetter) yoshida: yoshida(a)icot.or.jp (Kaoru Yoshida) yoshiki: yoshiki(a)etl.go.jp (Kinoshita Yoshiki) young: young(a)xx.lcs.mit.edu (Jonathan Young) zawadowski: warsaw(a)ccb.uib.es (Marek Zawadowski) zenith: zenith(a)ensmp.fr (Steven Zenith) zhang: gqz(a)caen.engin.umich.edu (G.Q. Zhang) zocco: dean.zocco@klb (Meg Zocco)

1 0

ftp sites
by Charles Wells 24 Feb '93

24 Feb '93

Has anyone compiled a list of papers related to category theory available by ftp? If not, I am willing to keep such a list if everyone will send me the locations where the papers are. It would be useful if you sent the ftp address, the directories where papers related to category theory are, and the names of any files in those directories that describe the papers therein. Any suggestions about better ways to do this are welcome. Charles Wells Department of Mathematics Case Western Reserve University 10900 Euclid Avenue Cleveland, OH 44106-7058 216-368-2893 -- Charles Wells Department of Mathematics, Case Western Reserve University University Circle, Cleveland, OH 44106-7058, USA 216 368 2893 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

2 1

my new address
by cbj＠socs.uts.EDU.AU 24 Feb '93

24 Feb '93

I've left Edinburgh for a permanent position in Sydney, Australia. Please send any correspondence to: Dr C. Barry Jay (Computing Methods Unit) School of Computing Sciences University of Technology, Sydney PO Box 123 Broadway NSW 2007 Australia phone: ++(61)(2) 330-1814 e-mail: cbj(a)socs.uts.edu.au Barry Jay ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

ideals in additive categories
by Allan Adler 16 Feb '93

16 Feb '93

Let C be an additive category. For every pair X,Y of objects of C, let A(X,Y) be a subgroup of the additive group Hom(X,Y). Assume that for every quadruple W,X,Y,Z of objects of C, we have Hom(W,X)xA(X,Y)xHom(Y,Z) --> Hom(W,Z) (by composition ) maps into A(W,Z). That seems like having an ideal and it seems like I should then be able to form a category in which the set of morphisms from an object X to an object Y is Hom(X,Y)/A(X,Y). Is there a name for such a system A and is there a name for the construction of modding out by A? Where is this formalized? Allan Adler ara(a)altdorf.ai.mit.edu ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

3 2

Re: graphs ad spaces
by Allen Knutson 07 Feb '93

07 Feb '93

> Allen Knutson objected to my size argument (that the open subsets of Hurray! Always nice to see my name spelled correctly in a (semi)public place. > Whereas an edge is a subobject, an open set is a congruence class. Now Mm? I would've called a closed set a congruence class - putting on an equivalence relation should be like taking a (Hausdorff) quotient, which unifies a closed subset, not an open one. So I still think open sets are a red herring for your purposes. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

2 1