GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ denotational-semantics
Top 1 denotational-semantics open source projects
system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
✭ 20
Coq
lambda-calculus
coq
formalization
polymorphism
denotational-semantics
system-f
parametricity
1-1
of
1
denotational-semantics projects