Vol-3008⫷ Vol-3009 ⫸Vol-3010
urn:nbn:de:0074-3009-0


Vol-3009/abstract3⫷Vol-3009/abstract4⫸Vol-3009/paper4
Paolo PistoneLuca Tranchini

The Yoneda Reduction of Polymorphic Types (Abstract)