Sciweavers

Share
APAL
2008

Second-order type isomorphisms through game semantics

9 years 1 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 in the case of second-order
Joachim De Lataillade
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2008
Where APAL
Authors Joachim De Lataillade
Comments (0)
books