There is now an Index.barr file in /pub/barr at triples.math.mcgill.ca. I attach that index to this letter. It contains only the papers' titles, but that ought to be enough. I am willing to send an email to anyone who doesn't have anonymous ftp capability. If people send me a note, I will take care of it, but obviously I would prefer it if they could do it themselves. It is also the case that ftp is MUCH more reliable. acclinlo.tex: Accessible categories and models of linear logic ctcsupdate.tex: CTCS update fuzlinlo.tex: Fuzzy models of linear logic hsp.tex: Functorial semantics and HSP type theorems hsppos.tex: HSP type theorems in the category of posets staracll.tex: *-Autonomous categories and linear logic termobj.tex: Terminal coalgebras in well-founded set theory tttcorr.tex: Corrections to TTT =================================