jozefg/fibrational-semantics

Notes on simple fibrational semantics.

语言：TeX · GitHub 星标：6 · Fork：0

话题：boring-math · fibrations · semantics

在 GitHub 上查看原仓库