Pattern matching as cut elimination (1999)

by Serenella Cerrito, Delia Kesner
Venue:14th Annual IEEE Symposium on Logic in Computer Science (LICS