295 search results - page 1 / 59 » Games and Definability for System F |
LICS
1997
IEEE
13 years 8 months ago
1997
IEEE
We present a game-theoretic model of the polymorphic -calculus, system F, as a fibred category. Every morphism of the model defines an -expanded, -normal form ^ of system F whose...
WRAC
2005
Springer
13 years 10 months ago
2005
Springer
LICS
2009
IEEE
13 years 11 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
MST
2010
12 years 11 months ago
2010
We consider a cost sharing system where users are selfish and act according to their own interest. There is a set of facilities and each facility provides services to a subset of ...
TGIS
2008
13 years 4 months ago
2008
In a 1998 speech before the California Science Center in Los Angeles, then US VicePresident Al Gore called for a global undertaking to build a multi-faceted computing system for e...