The taming of the cut (1994)

by DM94 Marcello D’Agostino, Marco Mondadori
Venue:Journal of Logic and Computation