![]() |
Volumn 2998, Issue , 2004, Pages 260-275
|
Normalization by Evaluation for λ→2
|
Author keywords
[No Author keywords available]
|
Indexed keywords
BOOLEAN FUNCTIONS;
DECISION TREES;
DIFFERENTIATION (CALCULUS);
FUNCTIONAL PROGRAMMING;
LOGIC PROGRAMMING;
SEMANTICS;
HASKELL;
LOGICAL RELATIONS;
NORMALIZATION BY EVALUATION;
SIMPLY TYPED LAMBDA CALCULUS;
THEORETIC SEMANTICS;
TYPE VARIABLES;
CALCULATIONS;
|
EID: 35048841111
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/978-3-540-24754-8_19 Document Type: Article |
Times cited : (15)
|
References (13)
|