My short paper "Geometric Logic in Computer Science" is available by anonymous ftp from Imperial College. I present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and toposes. I also describe some of its applications in computer science including its potential as a logic for specification languages. (The connectives of geometric logic are finitary conjunction, arbitrary disjunction, equality and existential quantification.) (18 pages, due to appear in - G.L. Burn, S.J. Gay and M.D. Ryan (eds) "Theory and Formal Methods 1993", Proceedings of the first Imperial College Department of Computing workshop on Theory and Formal Methods, Springer Workshops in Computer Science, 1993.) Steve Vickers Brief instructions ------------------ ftp host: theory.doc.ic.ac.uk login name: anonymous password: (type in your email address at this point) directory: papers/Vickers file: GLiCS.dvi +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++