Curry-style type Isomorphisms and Game Semantics

Joachim De Lataillade

Curry-style system F, ie. system F with no explicit types in terms, can be seen as a core presentation of polymorphism from the point of view of programming languages. This paper g…