Some -calculi with categorical sums and products (1993)

by D Dougherty
Venue:In Rewriting Techniques and Applications