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)
1
question
17
votes
3
answers
295
views
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 ...
- 5,802