Structural cut elimination. II. Linear logic, in preparation (0)

by Russia'' Petersburg
Venue:Lecture Notes in Computer Science