vishallama/categories-and-categorical-logic

Some notes and solutions to exercises from the lecture notes 'Introduction to Categories and Categorical Logic' by Sam Abramsky and Nikos Tzevelekos.

语言：TeX · GitHub 星标：3 · Fork：1

话题：categorical-logic · categorical-semantics · category-theory · lambda-calculus · logic · type-theory

在 GitHub 上查看原仓库