#

system-f

Here are 2 public repositories matching this topic...

Lysxia / system-F

Formalization of the polymorphic lambda calculus and its parametricity theorem

lambda-calculus coq formalization polymorphism denotational-semantics system-f parametricity

Updated May 2, 2019
Coq

rudynicolop / Lambda-Calculi-Coq

Lambda-Calculi implementations & proofs in Coq

lambda-calculus coq lambda-cube system-f

Updated Jun 5, 2022
Coq

Improve this page

Add a description, image, and links to the system-f topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the system-f topic, visit your repo's landing page and select "manage topics."