The taming of the cut (1994)

by M D’Agostino, M Mondadori
Venue:Journal of Logic and Computation