B. Jacobs - Böcker

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

Policy makers in Pittsburgh, Birmingham and Rotterdam are confronted with rapidly changing social and economic environments.