smimram/cccatt

A type theory for unbiased cartesian closed categories.

语言：OCaml · GitHub 星标：7 · Fork：0

话题：cartesian-closed-category · lambda-calculus · ocaml · type-theory · unbiased

在 GitHub 上查看原仓库