Pattern matching as cut elimination

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 98-108

  Cerrito, Serenella ^a   Kesner, Delia ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; LINGUISTICS; LOGIC PROGRAMMING; PATTERN MATCHING; THEOREM PROVING;

CURRY-HOWARD ISOMORPHISM; CUT ELIMINATION; GENTZEN SEQUENT CALCULUS; TYPED PATTERN CALCULUS WITH EXPLICIT SUBSTITUTIONS;

FORMAL LOGIC;

EID: 0032597530     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (39)