Sciweavers

APAL
2008
61views more  APAL 2008»
13 years 3 months ago
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 i...
Joachim De Lataillade