![]() |
Volumn 180, Issue 1-2, 1997, Pages 371-375
|
A syntactical proof of the operational equivalence of two λ-terms
|
Author keywords
[No Author keywords available]
|
Indexed keywords
EQUIVALENCE CLASSES;
MATHEMATICAL MODELS;
MATHEMATICAL OPERATORS;
TREES (MATHEMATICS);
TURING MACHINES;
BOHM TREE;
SYNTACTICAL PROOF;
THEOREM PROVING;
|
EID: 0031162482
PISSN: 03043975
EISSN: None
Source Type: Journal
DOI: 10.1016/S0304-3975(97)00004-2 Document Type: Article |
Times cited : (3)
|
References (3)
|