1 paper · 1 filter
Joachim De Lataillade
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…