Quasitopoi generalize topoi, a concept of major importance in the theory of Categoreis, and its applications to Logic and Computer Science. In recent years, qua

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from th

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and ac

Proceedings of the BB Fest 96, a conference held at the University of Cape Town, 15-20 July 1996, on Category Theory and its Applications to Topology, Order and

This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Conference of the