reference. A gentle introduction to categorical logic and type theory [schmid2025gentle]

✍️source

@article{schmid2025gentle,
 title = {A Gentle Introduction to Categorical Logic and Type Theory},
 author = {Schmid, Eric},
 year = {2025},
 url = {https://ericschmid-uchicago.github.io/notes/cl_and_tt_v2.pdf}
}