I have mounted four papers by John Corbett and myself that attempt to use sheaf theory to interpret Quantum Logic (or our version thereof) on the Sydney University ftp site. They are called Adelman-Corbett.ps ---Long with a lot of expository material for physicists. comparison.ps---Attempts to compare Birkhoff and vonNeumann Quantum logic to the internal logic of the category of sheaves over state space newpaper.ps--- Attempts to show how continuous data can become discrete data via the global sections functor heidelberg.ps---Derives a formula for interference of particles that allows more of the configuration of the experiment to be parametrized than the usual Hilbert Space description. The union of heidelberg.ps and comparison.ps approximates (and perhaps supersedes) Adelman-Corbett.ps which is somewhat older. They can be obtained by anonymous ftp from maths.su.oz.au in the directory sydcat/papers/murray Regards, Murray