Pattern Matching as Cut Elimination (1999)

Cached

Download Links

by Serenella Cerrito , Delia Kesner
Venue:In Logic in Computer Science
Citations:9 - 2 self