1. (100%) Geometric Logic in Computer Science - Steve Vickers
We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and toposes. We also describe some of its applications in computer science
(ps) - 31-mar-2009