system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
33 stars
4 watching
2 forks
Language: Coq
last commit: over 5 years ago coqdenotational-semanticsformalizationlambda-calculusparametricitypolymorphismsystem-f