Filter models for conjunctive-disjunctive λ-calculi

Theoretical Computer Science

Volumn 170, Issue 1-2, 1996, Pages 83-128

  Dezani Ciancaglini, Mariangiola ^a   de'Liguoro, Ugo ^a   Piperno, Adolfo ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS;

CONJUNCTIVE DISJUNCTIVE CALCULUS; FILTER MODEL; MORRIS STYLE OPERATIONAL SEMANTICS;

FORMAL LANGUAGES;

EID: 0030393905     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00235-6     Document Type: Article

References (45)