vcvpaiva/DialecticaCategories

A place to collect work on dialectica categories.

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

话题：categories · dialectica · linear-logic

在 GitHub 上查看原仓库