Categorical Logic and Type Theory

ELSEVIER SCIENCE & TECHNOLOGY
Categorical Logic and Type Theory