Categorical Logic and Type Theory

This book is an attempt to give a systematic presentation of both logic and type theory from a categ...