|
|
|
Volumn , Issue , 1996, Pages 174-183
|
|
Games and full abstraction for FPC
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER PROGRAMMING LANGUAGES;
GAME THEORY;
MATHEMATICAL MODELS;
RECURSIVE FUNCTIONS;
STRUCTURED PROGRAMMING;
CARTESIAN CLOSED CATEGORY;
COMPUTER PROGRAMMING LANGUAGE FPC;
FULLY ABSTRACT;
SEQUENTIAL FUNCTIONAL LANGUAGE;
COMPUTATIONAL LINGUISTICS;
|
|
EID: 0029719029
PISSN: 10436871
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (21)
|
|
References (25)
|
