Confluence and preservation of strong normalization in an explicit substitutions calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1996, Pages 440-447

  Munoz, Cesar ^a  

^a INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); MATHEMATICAL OPERATORS; SET THEORY;

CONFLUENT CALCULUS; CONFLUENT SYSTEMS; EXPLICIT SUBSTITUTIONS CALCULI; FIRST ORDER REWRITING SYSTEM; FORMAL SYSTEMS; INTERNAL SUBSTITUTION OPERATOR;

COMPUTATION THEORY;

EID: 0029724783     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)