Questions tagged [parametricity]

Parametricity is a property that given a parametric polymorphic function, its behaviour should be the same no matter how its type parameters are specialized. (from PLS Lab)

Filter by
Sorted by
Tagged with
17 votes
3 answers

Is internal parametricity useful in theorem proving?

Internal parametricity refers to the ability to claim that $\forall u : (\forall t. t \to t). u = \lambda x. x$ and similarly for other pi types abstracting over types (this is a meta-theoretic ...
ice1000's user avatar
  • 5,802