4 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi +1
Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usua…