1 Oct 1 Maria Joao Frade ??? coherent , T_{0} => sober ??? 2 Oct 3 Barry Jay Computing: the Australian Theory Se 3 Oct 3 Steven Vickers Re: ??? coherent , T_{0} => sober ? 4 Oct 3 Samson Abramsky Re: ??? coherent , T_{0} => sober ? 5 Oct 3 James Madden query of M.J.Frade 6 Oct 11 Charles Wells Graph-based Logic and Sketches 7 Oct 11 Andre Scedrov Lambda Definability in Categorical 8 Oct 13 Frank Piessens literature on graphical algebras? 9 Oct 16 Richard Wood CT95: First Announcement 10 Oct 17 Edmund Robinson Re: literature on graphical algebra 11 Oct 17 Francois Lamarche A query about quantales 12 Oct 18 Max Kelly new phone numbers for Sydney Univer 13 Oct 18 Pierre Ageron Re: literature on graphical algebra 14 Oct 19 Paul Johnson coherent locales 15 Oct 20 john baez colimits of Hilbert spaces 16 Oct 20 Paul Johnson Re: coherent locales 17 Oct 21 Michael Barr Re: colimits of Hilbert spaces 18 Oct 23 "John G. Stell" sub-structures of free structures ( 19 Oct 24 Jaap van Oosten PSSL in Aarhus 20 Oct 25 kris@diku.dk ANNOUNCE: XY-pic version 2.12 relea 21 Oct 27 Thomas Streicher are local homemorphism part of a fa 22 Oct 27 Michael Barr Re: sub-structures of free structur 23 Oct 27 Thomas Streicher are local homemorphism part of a fa 24 Oct 29 John Isbell Re: sub-structures of free structur 25 Oct 28 Peter Freyd Re: sub-structures of free structur