23 citations · 34 across the 12 of their papers we have counts for
1 paper · 1 filter
Taichi Uemura
We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that ever…