|
Volumn , Issue , 1996, Pages 98-106
|
Reduction-free normalization for a polymorphic system
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SYSTEMS;
FORMAL LOGIC;
MATHEMATICAL MODELS;
THEOREM PROVING;
POLYMORPHIC SYSTEMS;
REDUCTION FREE NORMALIZATION ALGORITHM;
COMPUTATIONAL LINGUISTICS;
|
EID: 0029710925
PISSN: 10436871
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (21)
|
References (11)
|