|
|
|
Volumn , Issue , 1993, Pages 275-285
|
|
Non-determinism in a functional setting
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGEBRA;
COMPUTATIONAL LINGUISTICS;
DATA STRUCTURES;
FORMAL LOGIC;
FUNCTION EVALUATION;
MATHEMATICAL OPERATORS;
PARALLEL PROCESSING SYSTEMS;
PROGRAMMING THEORY;
CONCURRENCY;
FUNCTIONAL LANGUAGES;
LAMBDA CALCULUS;
LAZY LAMBDA CALCULUS;
NON DETERMINISM;
PLOTKIN POWER DOMAIN FACTOR;
FORMAL LANGUAGES;
|
|
EID: 0027148589
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (35)
|
|
References (15)
|
