Working draft of expanded lecture notes. Comments and feedback are
welcome. The file you want to compile is catlog.tex
.
elfi / catlog Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mikeshulman/catlog
Categorical logic from a categorical point of view
License: Other