GitHub topics: nominal-set
wkolowski/Type-Theory-Wishlist
Personal research notes
Language: Coq - Size: 1.13 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0
annenkov/stlcnorm
Simply-typed lambda calculus and extensions: termination, extrinsic/intrinsic representations, nominal binding techniques
Language: Coq - Size: 218 KB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 2
szynwelski/nlambda
Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countably infinite clique graph or the set of all intervals with rational endpoints.
Language: Haskell - Size: 5.56 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 10 - Forks: 4
