This text attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.
Read More
This text attempts to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category.
Read Less
Add this copy of Categorical Logic and Type Theory (Volume 141) (Studies to cart. $406.50, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1999 by Elsevier Science.
