|
|
|
Volumn , Issue , 1997, Pages 76-86
|
|
Games and definability for system F
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATIONAL COMPLEXITY;
COMPUTATIONAL LINGUISTICS;
DIFFERENTIATION (CALCULUS);
MATHEMATICAL MODELS;
POLYMORPHIC CALCULUS;
GAME THEORY;
|
|
EID: 0030686256
PISSN: 10436871
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (24)
|
|
References (10)
|
