Topic: "nominal-set"
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: over 1 year ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 4
wkolowski/Type-Theory-Wishlist
Personal research notes
Language: Coq - Size: 1.13 MB - Last synced at: 10 months ago - Pushed at: 10 months 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: 20 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1
