6 citations · 14 across the 19 of their papers we have counts for
1 paper · 1 filter
Paolo Pistone
The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the ci…