JohnWCartmell/Theory

Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data

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

在 GitHub 上查看原仓库