Solutions to the exercises in Categorical Logic and Type Theory by Bart Jacobs. See solutions here.
artemmavrin / categorical-logic-and-type-theory-solutions Goto Github PK
View Code? Open in Web Editor NEWSolutions to the exercises in Categorical Logic and Type Theory by Bart Jacobs
Home Page: https://artemmavrin.github.io/categorical-logic-and-type-theory-solutions