Pattern Matching as Cut Elimination.

Serenella Cerrito, Delia Kesner

Browse the full LICS paper archive.