Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism.

James Laird

Browse the full FSCD paper archive.