sColin16/set-typed-lambda-calculus

A typed lambda calculus with a set-theoretic type system, that serves as the theoretical basis for other languages with set-theoretic type systems

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

话题：intersection-types · lambda-calculus · programming-language · structural-typing · type-system · union-types

在 GitHub 上查看原仓库