3 citations · 3 across the 2 of their papers we have counts for
1 paper · 2 filters
Paolo Pistone, Luca Tranchini
In this paper we explore a family of type isomorphisms in System F whose validity corresponds, semantically, to some form of the Yoneda isomorphism from category theory. These isom…