gallais / thesisLinks
Syntaxes with Binding, Their Programs, and Proofs
☆23Updated last year
Alternatives and similar repositories for thesis
Users that are interested in thesis are comparing it to the libraries listed below
Sorting:
- Self-contained repository for the eponymous paper☆30Updated 6 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆27Updated 3 months ago
- my phd thesis☆26Updated last year
- being a particular fragment of Haskell, extended to a proof system☆42Updated 2 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem