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
