#

polymorphic-types

Here is 1 public repository matching this topic...

yiyunliu / system-f-omega

Strong normalization and parametricity for System Fω in Coq

lambda-calculus coq type-theory polymorphic-types denotational-semantics impredicative-types

Updated Sep 10, 2024
Coq

Improve this page

Add a description, image, and links to the polymorphic-types 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 polymorphic-types topic, visit your repo's landing page and select "manage topics."