Intersection type assignment systems with higher-order algebraic rewriting

Theoretical Computer Science

Volumn 170, Issue 1-2, 1996, Pages 173-207

  Barbanera, Franco ^a   Fernandez, Maribel ^a  

^a Dipartimento di Informatica   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SIMULATION; MATHEMATICAL MODELS;

HIGHER ORDER ALGEBRAIC REWRITING; INTERSECTION TYPE ASSIGNMENT SYSTEMS; LAMBDA CALCULUS;

BOOLEAN ALGEBRA;

EID: 0030408303     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00263-0     Document Type: Article

References (40)