Second-order type isomorphisms through game semantics

The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order

• Type: Journal
• Year: 2008
• Where: APAL
• Authors: Joachim De Lataillade
• Keywords: APAL 2008, Game Semantics, Isomorphisms, Second-order Type