Skip to content
/ set-typed-lambda-calculus Public

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

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

sColin16/set-typed-lambda-calculus

Error
Looks like something went wrong!

About

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

Topics

programming-language lambda-calculus type-system union-types structural-typing intersection-types

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages