Second-order type isomorphisms through game semantics

15 years 2 months ago

Download hal.archives-ouvertes.fr

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

Real-time Traffic

APAL 2008 | Game Semantics | Isomorphisms | Second-order Type |

claim paper

» Game semantics for firstorder logic

» Queries enabling querying for semantic associations on the semantic web

» Block Structure vs Scope Extrusion Between Innocence and Omniscience

» SMART a SysteM of Augmented Reality for Teaching 2nd grade students

» ReactiveML a reactive extension to ML

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	APAL
Authors	Joachim De Lataillade

Comments (0)

Sciweavers

Second-order type isomorphisms through game semantics

APAL 2008 | Game Semantics | Isomorphisms | Second-order Type |

Explore & Download

Productivity Tools

Sciweavers