3 search results - page 1 / 1 » Curry-style type Isomorphisms and Game Semantics |
APAL
2008
13 years 5 months ago
2008
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...
CORR
2007
Springer
13 years 4 months ago
2007
Springer
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...