https://github.com/lysxia/system-f
Formalization of the polymorphic lambda calculus and its parametricity theorem
https://github.com/lysxia/system-f
coq denotational-semantics formalization lambda-calculus parametricity polymorphism system-f
Last synced: 2 months ago
JSON representation
Formalization of the polymorphic lambda calculus and its parametricity theorem
- Host: GitHub
- URL: https://github.com/lysxia/system-f
- Owner: Lysxia
- Created: 2019-05-02T17:06:32.000Z (about 6 years ago)
- Default Branch: master
- Last Pushed: 2019-05-02T17:54:51.000Z (about 6 years ago)
- Last Synced: 2024-10-11T21:52:51.758Z (7 months ago)
- Topics: coq, denotational-semantics, formalization, lambda-calculus, parametricity, polymorphism, system-f
- Language: Coq
- Size: 10.7 KB
- Stars: 33
- Watchers: 4
- Forks: 2
- Open Issues: 0